How Much Formal Verification is Enough? A Verification Method For High-Consequence Systems, by Nicolae Tusinschi, Formal Verification Solutions Product Manager, Siemens EDA