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