Kovalenko Y, Kudrenko S. Methodology for testing languages for embedded avionics systems. PIC [Internet]. 2022 Jun. 24 [cited 2026 Feb. 15];2(70):44-52. Available from: https://jrnl.nau.edu.ua/index.php/PIU/article/view/16846