Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle

Zamira Daw, Marcus Vetter, "Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle," Workshop Entwicklung zuverlässiger Software-Systeme, Regensburg, 2009, Softwaretechnik-Trends Band 29 Heft 3, Seiten 11-16