Stappers, F.; Reniers, M. Verification of Safety Requirements for Program Code Using Data Abstraction. eceasst 2009, 23.