F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective, p.FAOC, 2015.
URL : https://hal.archives-ouvertes.fr/cea-01808981

M. Pavlova, G. Barthe, L. Burdy, M. Huisman, and J. Lanet, Enforcing High-Level Security Properties for Applets, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071523