M. Bender, T. Maibaum, M. Lawford, and A. Wassyng, “Positioning Verfification in the Context of Software/System Certification”, eceasst, vol. 46, Mar. 2012.