Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. - Bastian Zimmer; Susanne Bürklen; Michael Knoop; Jens Höfflinger; Mario Trapp (SAFECOMP, 2011)