A Review of Applications of Formal Specification in Safety-Critical System Development. - Emanuel S. Grant; Smruti Priyambada Nanda (ICCDA, 2020)