Geunyeol Yu, Jia Lee, Kyungmin Bae: STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. CAV (1) 2022: 524-537