@inproceedings{Sch2004,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}}@COMMENT{Bibtex file generated on }