Bender, M., Maibaum, T., Lawford, M., & Wassyng, A. (2012). Positioning Verfification in the Context of Software/System Certification. Electronic Communications of the EASST, 46. https://doi.org/10.14279/tuj.eceasst.46.703