C. Bernardeschi, A. Domenici, and S. Saponara, “Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems”, eceasst, vol. 77, Oct. 2019.