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