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