“PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS”, jcoeng, vol. 8, no. 03, pp. 343–362, Sep. 2003, doi: 10.31026/j.eng.2002.03.07.