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 <em>Anais Estendidos do XVI Simpósio Brasileiro de Sistemas Multimídia e Web</em>, (pp. 179-184). Porto Alegre: SBC.