1. de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes 26(5), 109–120 (2001)
2. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schtäz, B.: Autofocus 3: tooling concepts for seamless, model-based development of embedded systems. In: 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems, pp. 19–26 (2015)
3. Bauer, A., Romberg, J., Schätz, B.: Integrierte entwicklung von automotive-software mit autofocus. Informatik - Forschung und Entwicklung 19, 194–205 (2005)
4. NATO ASI Series;M Broy,1993
5. Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The design of distributed systems - an introduction to FOCUS. Technical report, TUM-I9202, SFB-Bericht Nr. 342/2-2/92 A (1993)