“…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).…”