Pranevicius, H., et al. “Formalization and Simulation Telecommunication Protocols and Systems Using PLA Method”. Elektronika Ir Elektrotechnika, vol. 60, no. 4, Apr. 2005, pp. 5-10, https://doi.org/10.5755/j02.eie.10422.