H. Pranevicius, I. Praneviciene, and R. Benkunskis, “Formalization and Simulation Telecommunication Protocols and Systems using PLA Method”, ELEKTRON ELEKTROTECH, vol. 60, no. 4, pp. 5–10, Apr. 2005, doi: 10.5755/j02.eie.10422.