The Rhapsody UML Verification Environment.

Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal

Browse the full SEFM paper archive.