TY - CONF 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 UR - http://opus.technikum-wien.at/frontdoor/index/index/docId/2427 ER -