Yovine, S., Olivero, A., Córdoba, L., Monteverde, D., & Reiter, G. 2010 out 5. An approach for the verification of the temporal consistency of NCL applications. Anais Estendidos do Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia). [Online] :