- 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)
- ISSRE '06: Proceedings of the 17th International Symposium on Software Reliability Engineering, page 363--374. Washington, DC, USA, IEEE Computer Society, (2006)
- Conceptual Modeling - ER 2006, page 281-295. Springer, (2006)
- IEEE Software 18(1):92--96 (2001)


user