1. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
2. Behrmann, G., et al.: UPPAAL 4.0. In: Third International Conference on Quantitative Evaluation of Systems (QEST 2006), pp. 125–126, September 2006
3. Bernardeschi, C., Domenici, A.: Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. 116(6), 409–415 (2016)
4. Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Software Eng. 44(6), 512–533 (2018)
5. Bernardeschi, C., Domenici, A., Saponara, S.: Formal verification in the loop to enhance verification of safety-critical cyber-physical systems. In: Proceedings of Interactive Workshop on the Industrial Application of Verification and Testing, InterAVT 2019 (ETAPS 2019), Electronic Communications of the EASST (2019)