Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.

Kirsten Berkenktter, Ulrich Hannemann

Browse the full SAFECOMP paper archive.