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