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