KOVALENKO, Yu.B.; KUDRENKO, S.O. 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: https://jrnl.kai.edu.ua/index.php/PIU/article/view/16846. Acesso em: 6 nov. 2026.