Pranevicius, H., I. Praneviciene, and R. Benkunskis. “Formalization and Simulation Telecommunication Protocols and Systems Using PLA Method”. Elektronika Ir Elektrotechnika, vol. 60, no. 4, Apr. 2005, pp. 5-10, https://eejournal.ktu.lt/index.php/elt/article/view/10422.