Formalization and Simulation Telecommunication Protocols and Systems Using PLA Method. ELEKTRON ELEKTROTECH 2005, 60 (4), 5-10.