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