Chaoze Lu, Chenghao Li, Chenxia Liu, Xianrui Wu, Yimin Huang. "Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking." Scientific Reports (2025). https://doi.org/10.1038/s41598-025-06523-7