S. Yovine, A. Olivero, L. Córdoba, D. Monteverde, and G. Reiter. 2010.
 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>, October 05, 2010, Belo Horizonte, Brasil. SBC, Porto Alegre, Brasil, 179-184.