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