Kovalenko, Yu.B., and S.O. Kudrenko. 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.