Kirsten Berkenkötter, Ulrich Hannemann. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Volume 4166 of Lecture Notes in Computer Science, pages 398-411, Springer, 2006.
Abstract is missing.