Dantas, Márcio, E 		Wainer, Jacques.
" ST-Modeler: Um Ambiente para Desenvolvimento e Verificação de Guias de Conduta Médica" <em>Anais do Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS)</em> [Online], (12 julho 2008)