Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design. - Susmita Guha; Akash Nag; Rahul Karmakar (ISDA, 2020)