Zhen Li, Zining Cao, Fujun Wang, Chao Xing: Specification and counterexample generation for cyber-physical systems. Soft Comput. 28(17-18): 9137-9155 (2024)