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