KOVALENKO, Y.; KUDRENKO, S. Methodology for testing languages for embedded avionics systems. Problems of Informatization and Control, [S. l.], v. 2, n. 70, p. 44–52, 2022. DOI: 10.18372/2073-4751.70.16846. Disponível em: http://jrnl.kai.edu.ua/index.php/PIU/article/view/16846. Acesso em: 14 jun. 2026.