Checking Realizability of a Timed Business Processes Choreography Topics: Business Process Management and Web Services In Proceedings of the 7th International Conference on Cloud Computing and Services Science CLOSER - Volume 1, 441-448, 2017 , Porto, Portugal