1. [Broy and Stølen 2001] M. Broy, K. Stølen: Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer, 2001.
2. [Eder et al. 2011] S. Eder, A. Vogelsang, M. Feilkas: Seamless modeling of an automation example using the SPES methodology. In: Technical Report TUM-I1110. Technische Universität München, May 2011.
3. [Leuxner et al. 2010] C. Leuxner, W. Sitou, B. Spanfelner: A formal model for work flows. In: SEFM 2010: Proceedings of the 8th International Conference on Software Engineering and Formal Methods, 2010.
4. [Pretschner et al. 2004] A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel: Model-based testing for real. In: International Journal on Software Tools for Technology Transfer, Vol. 5, No. 2, 2004.
5. [Vogelsang et al. 2012] A.Vogelsang, S.Teuchert, J.-F. Girard. Extend and characteristics of dependencies between vehicle functions in automotive software systems. Proceedings of the 2012 International Workshop on Models in Software Engineering, 2012