Michael Möller Ernst-Rüdiger Olderog Holger Rasch Heike Wehrheim Integrating a formal method into a software engineering process with UML and Java. 161-204 2008 20 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-007-0042-7 db/journals/fac/fac20.html#MollerORW08