Stappers, F. and Reniers, M. (2009) “Verification of safety requirements for program code using data abstraction”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.311.