“Formalization and Simulation Telecommunication Protocols and Systems using PLA Method” (2005) Elektronika ir Elektrotechnika, 60(4), pp. 5–10. Available at: https://eejournal.ktu.lt/index.php/elt/article/view/10422 (Accessed: 5 December 2025).