Xu, et al.. Formal Verification of Dynamic Hybrid Systems: A Nusmv-based Model Checking Approach. Edited by Eguchi and Chen, vol. 17, EDP Sciences, 2018, doi:10.1051/itmconf/20181703026.