"A Workflow for Healthcare Systems via OCL and SMT Solving."

Hao Wu, Laure Hinsberger, Joseph Timoney (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics