Boutekkouk, F. “C Software Formal Verification”. WiPiEC Journal - Works in Progress in Embedded Computing Journal, vol. 10, no. 1, Mar. 2024, p. 4, doi:10.64552/wipiec.v10i1.53.