Iman Badr Hisham Mubarak Peter Göhner Extending the MaSE Methodology for the Development of Embedded Real-Time Systems. 106-122 2007 LADS http://dx.doi.org/10.1007/978-3-540-85058-8_7 conf/lads/2007 db/conf/lads/lads2007.html#BadrMG07