YOVINE, S.; 						OLIVERO, A.; 						CÓRDOBA, L.; 						MONTEVERDE, D.; 						REITER, G..
An approach for the verification of the temporal consistency of NCL applications. <em>In</em>: WORKSHOP DE TV DIGITAL INTERATIVA - SIMPÓSIO BRASILEIRO DE SISTEMAS MULTIMÍDIA E WEB (WEBMEDIA)	, 2010, Belo Horizonte.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2010
.
 p. 179-184. 
			ISSN 2596-1683.