- (1989)
- Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, page 39-48. (2007)
- RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering, page 253--362. Washington, DC, USA, IEEE Computer Society, (2005)
- Formal Methods for Software Architectures (2003)
- ICSE '96: Proceedings of the 18th international conference on Software engineering, page 60--69. Washington, DC, USA, IEEE Computer Society, (1996)
- Conceptual Modeling - ER 2006, page 281-295. Springer, (2006)
- IEEE Software 18(1):92--96 (2001)
- Kluwer Academic Publishers, Boston/Dordrecht/London, (2000)
- Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, page 53-56. (2007)


user