Yovine, S., Olivero, A., Córdoba, L., Monteverde, D., & Reiter, G. (2010). An approach for the verification of the temporal consistency of NCL applications. In Companion Proceedings of the 16th Brazilian Symposium on Multimedia and Web, (pp. 179-184). Porto Alegre: SBC.