Renan Pereira de Figueiredo, João Bosco Ferreira Filho, Flávio R. C. Sousa, Philip Weber, Ian Litchfield. Automated Verification of Care Pathways Using Constraint Programming. IEEE Transactions on Information Technology in Biomedicine, 24(9):2718-2725, 2020. [doi]
Abstract is missing.