2003. PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS. Journal of Engineering. 8, 03 (Sep. 2003), 343–362. DOI:https://doi.org/10.31026/j.eng.2002.03.07.