Supporting UML-based development of embedded systems by formal techniques.Published in:Software & Systems Modeling, 2008, v. 7, n. 2, p. 131, doi. 10.1007/s10270-006-0043-7By:Hooman, Jozef;Kugler, Hillel;Ober, Iulian;Votintseva, Anjelika;Yushtein, YuriPublication type:Article