@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 }