Dantas, M., & 		Wainer, J.
2008 jul 12.  ST-Modeler: Um Ambiente para Desenvolvimento e Verificação de Guias de Conduta Médica. Anais do Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS). [Online] :