@inproceedingsHun2007, Author = {Hungar, Hardi and Robbe, Oliver and Wirtz, Boris}, Title = {Safe-UML - Restricting UML for the development of safety-critical systems}, Year = {2007}, Pages = {467-475}, Month = {01}, Booktitle = {Proceedings FORMS/FORMAT 2007}, type = {inproceedings} @COMMENTBibtex file generated on