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>Companion Proceedings of the 16th Brazilian Symposium on Multimedia and Web</em>, Belo Horizonte, 2010, pp. 179-184.