“Formalization and Simulation Telecommunication Protocols and Systems Using PLA Method”. 2005. Elektronika Ir Elektrotechnika 60 (4): 5-10. https://eejournal.ktu.lt/index.php/elt/article/view/10422.