Gabriel Eckert
Swiss Federal Institute of Technology
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
UML-based fusion analysis
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard