@inproceedingsMru2005, 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} @COMMENTBibtex file generated on