Safety and Line Capacity in Railways – An Approach in Timed CSP - Hoang Nguyen (Springer-Verlag, 2012)