Discrete Event Simulation Based on Communicating Sequential Processes - Kaubisch, W; Hoare, C (2015)