Despite their importance, Web service business protocols are not always published with service interfaces, which hinders automatic management. A solution is to extract them from past executions. One of the raised issues is the discovery of temporal constraints called timed transitions, which are not explicitly recorded. In this paper we present our approach for discovering such transitions. We de ne a class of patterns called proper timeouts which are equivalent to timed transitions, and present a polynomial algorithm for extracting these patterns.