A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. - Jürgen Mottok; Frank Schiller; Thomas Völkl; Thomas Zeitler (SAFECOMP, 2007)