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