PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS. jcoeng 2003, 8 (03), 343-362. https://doi.org/10.31026/j.eng.2002.03.07.