Verification of Web Services with Timed Automata | Publicación