“…This direction has been touched for the first time by Botaschanjan et al (2008) though only for upper layer of automotive systems and focused on later verification phases. The first steps towards a methodology for development of verified embedded system have been done in (Botaschanjan et al, 2005;Botaschanjan et al, 2006). For example, a typical setting found in the automotive domain, a time-triggered operating and communication bus system, has been verified (Spichkova, 2006;Kühnel, Spichkova, 2006;Kühnel, Spichkova, 2007).…”