Formalization and Simulation Telecommunication Protocols and Systems using PLA Method. ELEKTRON ELEKTROTECH. 2005;60(4):5-10. Accessed December 5, 2025. https://eejournal.ktu.lt/index.php/elt/article/view/10422