Kułkaowski, K. Concurrent Systems Modeling With CCL. A 2013, 16, 115.