Martin änzle

Formal Modeling and Analysis of Timed Systems

Dependable Software Engineering : Theories, Tools, and Applications