TY - CHAP A1 - Zauner, Martin A1 - Kramer, Michael A1 - Balog, Peter T1 - TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY T2 - Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34561 KW - Embedded Systems Y1 - 2019 ER - TY - CHAP A1 - Balog, Peter A1 - Kramer, Michael A1 - Zauner, Martin T1 - Modellierung reaktiver Systeme mit Esterel T2 - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria KW - Reactive Systems Y1 - 2019 ER -