Y. Moy, “Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software”, ECEASST, vol. 76, May 2019.