Machado, Efraim Zalmoxis de Almeida , Daniela Barreiro Claro, and Aline Maria Santos Andrade. "Generating correct compositions of semantic web services with respect to temporal constraints." Anais do XVIII Simpósio Brasileiro de Sistemas Multimídia e Web, São Paulo, 2012. SBC, 2012, pp.197-206.