H. Pranevicius, “Integrated analysis of communication protocols by means of PLA formalism”, JTIT, vol. 18, no. 4, pp. 84–90, Dec. 2004, doi: 10.26636/jtit.2004.4.260.