Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan: A Contract-Based Framework for Formal Verification of Embedded Software. SETTA 2024: 180-196