Martin änzle

• Dependable Software Engineering : Theories, Tools, and Applications
• Formal Modeling and Analysis of Timed Systems