Ferreira, Sampaio, Mota, 2008. Viewing CSP Specifications with UML-RT Diagrams 195.. https://doi.org/10.1016/j.entcs.2007.08.026