Yovine, S., Olivero, A., Córdoba, L., Monteverde, D., E Reiter, G.. " 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], (5 outubro 2010)