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