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