Kovalenko, Y. and Kudrenko, S. 2022. Methodology for testing languages for embedded avionics systems. Problems of Informatization and Management. 2, 70 (Jun. 2022), 44–52. DOI:https://doi.org/10.18372/2073-4751.70.16846.