Xu, B., Zhai, F., Li, B., Cao, Y., Zhang, C., & Zhou, Q. (2022). Verification and Analysis of Security Hardening Operating System for Smart Power Terminals. In (pp. 241–245). Dalian, China: IEEE. http://doi.org/10.1109/TOCS56154.2022.10016052 (Original work published 2025)