D. Picinin Júnior, J. Farines, and C. Koliver.
"An approach to verify live NCL applications", in <em>Anais do XVIII Simpósio Brasileiro de Sistemas Multimídia e Web</em>, São Paulo, 2012, pp. 223-232.