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