DANTAS, Márcio Paixão; 						WAINER, Jacques.
 ST-Modeler: Um Ambiente para Desenvolvimento e Verificação de Guias de Conduta Médica. <em>In</em>: SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO APLICADA À SAÚDE (SBCAS), 8.	, 2008, Belém/PA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 151-162. 
			ISSN 2763-8952.