Yovine, S., Olivero, A., Córdoba, L., Monteverde, D., & Reiter, G. 2010 Oct 5. An approach for the verification of the temporal consistency of NCL applications. Companion Proceedings of the Brazilian Symposium on Multimedia and the Web (WebMedia). [Online] :