Dependable embedded systems problems and new solutions for dependable hardware - Vierhaus, Heinrich Theodor (Techn. Univ., Fak. für Math., Naturwiss. und Informatik, 1997)