SELus: Towards Spatio-Temporal Modeling and Quantitative Evaluation for Cyber-Physical Systems. - Quanguo Zhang; Jing Liu; Mingxing Liu; Yanhong Huang; Rongbin Hou; Jianqi Shi (SMC, 2024)