István Majzik Gergely Pintér Péter Tamás Kovács UML Based Design of Time Triggered Systems. 60-63 2004 conf/isorc/2004 ISORC http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240060abs.htm db/conf/isorc/isorc2004.html#MajzikPK04