@InProceedings{GieseHeldal04, author = {Martin Giese and Rogardt Heldal}, title = {From Informal to Formal Specifications in {UML}}, pages = {197--211}, booktitle = {Proc. of UML2004, Lisbon}, editor = {Thomas Baar and Alfred Strohmeier and Ana Moreira and Stephen J. Mellor}, year = {2004}, series = {LNCS}, volume = {3273}, publisher = {Springer} }