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