1. Giese, H., Kindler, E., Klein, F., Wagner, R.: Reconciling Scenario-Centered Controller Design with State-Based System Models. In: Bontemps, Y., et al. (eds.) Proceedings of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pp. 1–5. IEEE, Los Alamitos (2005) (accepted)
2. Giese, H., Burmester, S.: Analysis and Synthesis for Parameterized Timed Sequence Diagrams. In: Proceedings of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop W5S), Edinburgh, Scotland (2004)
3. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proceedings of the European Software Engineering Conference (ESEC) Helsinki, Finland, pp. 38–47. ACM Press, New York (2003)
4. Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA. ACM Press, New York (2004)
5. Lecture Notes in Computer Science;T.A. Henzinger,2000