A Workflow for Healthcare Systems via OCL and SMT Solving. - Hao Wu 017; Laure Hinsberger; Joseph Timoney (SEHS@ICSE, 2018)