Bender, M.; Maibaum, T.; Lawford, M.; Wassyng, A. Positioning Verfification in the Context of Software System Certification. eceasst 2012, 46.