Using formal methods for content validation of medical procedure documents. - Érika F. Cota; Leila Ribeiro 001; Jonas Santos Bezerra; Andrei Costa; Rosiana Estefane da Silva; Gláucia Cota (Int. J. Medical Informatics, 2017)