(2008) Doyen, Laurent; Henzinger, Thomas A.; Jobstmann, Barbara; Petrov, Tatjana
Erschienen in: Proceedings of the 8th ACM international conference on Embedded software : EMSOFT '08. New York, New York, USA: ACM Press, 2008, pp. 79-88. ISBN 978-1-60558-468-3. Available under: doi: 10.1145/1450058.1450070
0000-0002-9041-0905 