Analyzing the real-time behaviour of deeply embedded event driven systems. - Karsten Walther; René Herzog; Jörg Nolte (LCTES, 2007)