Automated Verification of Care Pathways Using Constraint Programming. - Renan Pereira de Figueiredo; João Bosco Ferreira Filho; Flávio R. C. Sousa; Philip Weber; Ian Litchfield (IEEE J. Biomed. Health Informatics, 2020)