Sanghyun Yoon, Junbeom Yoo: Formal verification of ECML hybrid models with spaceex. Inf. Softw. Technol. 92: 121-144 (2017)