E. Machado, D. Claro, and A. Andrade.
"Generating correct compositions of semantic web services with respect to temporal constraints", in <em>Anais do XVIII Simpósio Brasileiro de Sistemas Multimídia e Web</em>, São Paulo, 2012, pp. 197-206.