1. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, pp. 38–47. ACM Press, New York (2003)
2. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61–71. Kluwer Academic Publishers, Dordrecht (1999)
3. Mäkinen, E., Systä, T.: MAS - an interactive synthesizer to support behavioral modeling in UML. In: Proceedings of the 23
rd
International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 15–24 (2001)
4. Uchitel, S., Kramer, J.: A Workbench for Synthesising Behviour models from Scenarios. In: Proceedings of the 23
rd
International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 188–197 (2001)
5. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Proceedings of the 22nd international conference on on Software engineering, Limerick Ireland, June 4 - 11 (2000)