@inproceedingsSch2004, Author = {Schinz, Ingo and Mrugalla, Christian and Toben, Tobe and Westphal, Bernd}, Title = {The Rhapsody UML Verification Environment}, Year = {2004}, Pages = {174-183}, Month = {09}, Publisher = {IEEE Computer Society Press}, type = {inproceedings} @COMMENTBibtex file generated on