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