Y. Kovalenko and S. Kudrenko, “Methodology for testing languages for embedded avionics systems”, PIC, vol. 2, no. 70, pp. 44–52, Jun. 2022.