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]
@incollection{FahrenbergLLT13,
title = {Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems},
author = {Uli Fahrenberg and Kim G. Larsen and Axel Legay and Claus R. Thrane},
year = {2013},
doi = {10.3233/978-1-61499-207-3-235},
url = {http://dx.doi.org/10.3233/978-1-61499-207-3-235},
researchr = {https://researchr.org/publication/FahrenbergLLT13},
cites = {0},
citedby = {0},
pages = {235-273},
booktitle = {Engineering Dependable Software Systems},
editor = {Manfred Broy and Doron Peled and Georg Kalus},
volume = {34},
series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
publisher = {IOS Press},
isbn = {978-1-61499-207-3},
}