Phillip J. Brooke Richard F. Paige The Design of a Tool-Supported Graphical Notation for Timed CSP. 299-318 2002 conf/ifm/2002 IFM http://dx.doi.org/10.1007/3-540-47884-1_17 db/conf/ifm/ifm2002.html#BrookeP02