Characterizing Compatibility of Timed Choreography.