Jozef Hooman Hillel Kugler Iulian Ober Angelika Votintseva Yuri Yushtein Supporting UML-based development of embedded systems by formal techniques. 131-155 2008 7 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-006-0043-7 db/journals/sosym/sosym7.html#HoomanKOVY08