2009
Model-Based Design and Verification of Reactive Systems.
[DOI]
Jirí Hýsek
,
Milan Ceska
,
Vladimír Janousek
Proceedings of the Computer Aided Systems Theory, 2009