“Formalization and Simulation Telecommunication Protocols and Systems using PLA Method”, ELEKTRON ELEKTROTECH, vol. 60, no. 4, pp. 5–10, Apr. 2005, Accessed: Dec. 05, 2025. [Online]. Available: https://eejournal.ktu.lt/index.php/elt/article/view/10422