Ma, Q. (2022). Design of High-Confidence Embedded Operating System based on Artificial Intelligence and Smart Chips. In (pp. 58–62). Coimbatore, India: IEEE. http://doi.org/10.1109/ICAIS53314.2022.9742917 (Original work published 2025)