P. Teodorczuk and W. Penczek, “Specyfikacja i automatyczna analiza protokołu komunikacyjnego”, SI, vol. 2, no. 1, pp. 49–59, Dec. 2003.