A technique for specifying and refining TCSP processes by using guards and liveness conditions | Publicación