Boutekkouk, F. “C Software Formal Verification”. WiPiEC Journal - Works in Progress in Embedded Computing Journal, vol. 10, no. 1, Mar. 2024, p. 4, https://www.wipiec.digitalheritage.me/index.php/wipiecjournal/article/view/53.