@inproceedings{Mru2005,
Author = {Mrugalla, Christian and Robbe, Oliver and Schinz, Ingo and Toben, Tobe and Westphal, Bernd},
Title = {Formal Verification of a Sensor Voting and Monitoring UML Model},

Year = {2005},
Month = {06},
Editor = {Technische Universität München},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }