K. Kułkaowski, “Concurrent systems modeling with CCL”, A, vol. 16, no. 2, p. 115, Jul. 2013.