Acceptance Automata: A framework for specifying and verifying TCSP parallel systems | Publicación