SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation. - Shu-Hui Zhang; Rong Yang; Lingyu Zhang 005; Han Li; Ming-Xiao Wang; Mingchen Gao; Hao-Ming Hu; Hui-Yan Wang 001; Yi Qin 002; Chang Xu 001 (J. Comput. Sci. Technol., 2025)