stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems. - Dongdong An; Zongxu Pan; Xin Gao 030; Shuang Li; Ling Yin 002; Tengfei Li 002 (IEEE Access, 2023)