ХАРЧЕНКО, С. Generation the software component of control system of the formal description their behavioral model and restrictions. Eastern-European Journal of Enterprise Technologies, [S. l.], v. 2, n. 3(44), p. 33–36, 2010. DOI: 10.15587/1729-4061.2010.2635. Disponível em: https://journals.uran.ua/eejet/article/view/2635. Acesso em: 29 jul. 2024.