1. PAT: Process analysis toolkit, http://www.comp.nus.edu.sg/~pat/
2. Uppaal, http://www.uppaal.org/
3. Lecture Notes in Computer Science,2005
4. Armstrong, P., Lowe, G., Ouaknine, J., Roscoe, A.W.: Model checking Timed CSP. In: HOWARD. Easychair, pub. (to appear, 2012)
5. Armstrong, P., Hopcroft, P.J., Roscoe, A.W.: Fairness checking through priority (to appear, 2012)