Publikation
Rolf Drechsler, Elsa Andrea Kirchner, José de Gea Fernández, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner
In: Rolf Drechsler, Ulrich Kühne. Formal Modeling and Verification of Cyber Physical Systems. Seiten 224-248 ISBN 978-3-658-09993-0 Springer Heidelberg 9/2015.