Dantas, M., & 		Wainer, J.
(2008).
 ST-Modeler: Um Ambiente para Desenvolvimento e Verificação de Guias de Conduta Médica.
In <em>Anais do VIII Workshop de Informática Médica</em>, (pp. 151-162). Porto Alegre: SBC.