PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS. jcoeng [Internet]. 2003 Sep. 1 [cited 2024 May 22];8(03):343-62. Available from: https://joe.uobaghdad.edu.iq/index.php/main/article/view/3054