Using state variables for the specification and verification of TCSP processes | Publicación