Márcio Dantas and Jacques Wainer. 2008. ST-Modeler: Um Ambiente para Desenvolvimento e Verificação de Guias de Conduta Médica. In Anais do VIII Workshop de Informática Médica, julho 12, 2008, Belém/PA, Brasil. SBC, Porto Alegre, Brasil, 151-162.