@InProceedings{Stauner:2001:WRKUML, author = "Thomas Stauner and Alexander Pretschner and Istv{\'a}n P{\'e}ter", title = "Approaching a Discrete-Continous {UML}: Tool Support and Formalization", pages = "242--257", booktitle = "Practical {UML}-Based Rigorous Development Methods - Countering or Integrating the e{X}tremists. Workshop of the {pUML}-Group held together with the UML 2001 October 1st, 2001 in Toronto, Canada", editor = "Andy Evans and Robert France and Ana Moreira and Bernhard Rumpe", publisher = "German Informatics Society", series = "LNI", volume = "P-7", year = "2001", }