Pranevicius, H.; Praneviciene, I.; Benkunskis, R. Formalization and Simulation Telecommunication Protocols and Systems Using PLA Method. ELEKTRON ELEKTROTECH 2005, 60 (4), 5-10.