Kułkaowski, K. (2013). Concurrent systems modeling with CCL. Automatyka/Automatics, 16(2), 115. https://doi.org/10.7494/automat.2012.16.2.115