dependable embedded systems are an indispensable technology in today`s information society and used in more and more safety-critical applications. one of the main challenges of this wide spread usage is the increasing complexity which makes it very di ...