1. Model-based development of embedded systems;Schätz,2002
2. Potential and challenges for model-based development in the automotive industry;Rau,2000
3. On model-based development: a pattern for strong interfaces in SIMULINK;Rau;Gesellschaft für Informatik, FG 2.1. 1: Softw.tech.-Trends,2002
4. Decomposition and interfaces revisited;Rau;Gesellschaft für Informatik, FG 2.1. 1: Softw.tech.-Trends,2001
5. Applying “Design by contract”;Meyer;Computer,1992