PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS. Journal of Engineering, [S. l.], v. 8, n. 03, p. 343–362, 2003. DOI: 10.31026/j.eng.2002.03.07. Disponível em: https://joe.uobaghdad.edu.iq/index.php/main/article/view/3054.. Acesso em: 21 may. 2024.