P. Teodorczuk and W. Penczek, “Specyfikacja i automatyczna analiza protokołu komunikacyjnego”, SI, vol. 2, no. 1, pp. 49–59, Dec. 2003, Accessed: Nov. 24, 2024. [Online]. Available: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904