Bernardeschi, C., Domenici, A. and Saponara, S. (2019) “Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems”, Electronic Communications of the EASST, 77. doi: 10.14279/tuj.eceasst.77.1106.