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