The Rhapsody UML Verification Environment. - Ingo Schinz; Tobe Toben; Christian Mrugalla; Bernd Westphal (SEFM, 2004)