Guaranteeing functional safety: design for provability and computer-aided verification. - Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter (Auton. Robots, 2012)