Mirco Kuhlmann Martin Gogolla Modeling and validating Mondex scenarios described in UML and OCL with USE. 79-100 2008 20 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-007-0062-3 db/journals/fac/fac20.html#KuhlmannG08