2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC 2011) ; 2 Piscataway, NJ : IEEE, 2011 (2011), Seite 1144-1149 S. 746 - 1500
Formal methods for automation and safety in railway and automotive systems ; proceedings of Symposium FORMS/FORMAT 2008, Budapest, Hungary, October 9 - 10, 2008 Budapest : L'Harmattan, 2008 (2008), Seite 103-110 IX, 329 S.