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