D. Picinin Júnior, J. Farines, and C. Koliver.
" An approach to verify live NCL applications", in <em>Proceedings of the 18th Brazilian Symposium on Multimedia and the Web</em>, São Paulo, 2012, pp. 223-232.