Miroslav Jelaska
-
Formal approach to railway applications
Formal methods and hybrid real-time systems