Generating correct compositions of semantic web services with respect to temporal constraints. - Efraim Zalmoxis de Almeida Machado; Daniela Barreiro Claro; Aline Maria Santos Andrade (WebMedia, 2012)

A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. - Efraim Machado; Aline Andrade (SBMF, 2016)