Approaching a Discrete-Continuous UML: Tool Support and Formalization. - Thomas Stauner; Alexander Pretschner; Istran Péter (pUML, 2001)