Kovalenko, Y.; Kudrenko, S. Methodology for Testing Languages for Embedded Avionics Systems. PIC 2022, 2, 44-52.