Pranevicius H, Praneviciene I, Benkunskis R. Formalization and Simulation Telecommunication Protocols and Systems using PLA Method. ELEKTRON ELEKTROTECH. 2005;60(4):5-10. doi:10.5755/j02.eie.10422