Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems - Bowman, Howard (Springer-Verlag London Limited, 2006)