Bender, M. (2012) “Positioning Verfification in the Context of Software/System Certification”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.703.