Yovine, S., A. Olivero, L. Córdoba, D. Monteverde, and G. Reiter.
"An approach for the verification of the temporal consistency of NCL applications." <em>Anais Estendidos do XVI Simpósio Brasileiro de Sistemas Multimídia e Web,
Belo Horizonte, 2010</em>. SBC, 2010,  
pp.179-184.