Bernardeschi, Cinzia, Andrea Domenici, and Sergio Saponara. 2019. “Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems”. Electronic Communications of the EASST 77 (October). https://doi.org/10.14279/tuj.eceasst.77.1106.