Ina Schaefer: Integrating formal verification into the model-based development of adaptive embedded systems. University of Kaiserslautern 2008, ISBN 978-3-89963-862-2, 1-276