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 2024)