Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. In Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 235-273, IOS Press, 2013. [doi]
Abstract is missing.