Kovalenko, Y., and S. Kudrenko. “Methodology for Testing Languages for Embedded Avionics Systems”. Problems of Informatization and Management, vol. 2, no. 70, June 2022, pp. 44-52, doi:10.18372/2073-4751.70.16846.