Effizienter Sicherheitsnachweis für mechatronische Systeme - Blum, Michael 1976- (Sierke, 2010)