“Concurrent systems modeling with CCL”, A, vol. 16, no. 2, p. 115, Jul. 2013, doi: 10.7494/automat.2012.16.2.115.