Checking Realizability of a Timed Business Processes Choreography | Publicación