A. Maroneze, V. Perrelle, and F. Kirchner, “Advances in Usability of Formal Methods for Code Verification with Frama-C”, eceasst, vol. 77, Oct. 2019.