Kovalenko, Yu.B., and S.O. Kudrenko. “Methodology for Testing Languages for Embedded Avionics Systems”. Problems of Informatization and Management 2, no. 70 (June 24, 2022): 44–52. Accessed February 15, 2026. https://jrnl.nau.edu.ua/index.php/PIU/article/view/16846.