Publications de
Josef Hooman, Iulian Ober, Hillel Kugler, Angelika Votintseva, Yuri Yushtein
Supporting UML-based Development of Embedded Systems by Formal Techniques
Dans : Software and Systems Modeling (SoSyM), Springer-Verlag, Heidelberg, Allemagne, Vol. 7 N. 2, p. 131-155, mai 2008.