Model-Based Design and Verification of Reactive Systems. - Jirí Hýsek; Milan Ceska 001; Vladimír Janousek (EUROCAST, 2009)