[1]
F. Stappers and M. Reniers, “Verification of safety requirements for program code using data abstraction”,
ECEASST
, vol. 23, Dec. 2009.