SMT-Based Verification of Safety-Critical Embedded Control Software | IEEE Journals & Magazine | IEEE Xplore