Verification of Careflow Management Systems with Timed BDICTL Logic. - Keith Miller 004; Wendy MacCaull (Business Process Management Workshops, 2009)

Model checking timed properties of healthcare processes. - Keith Miller 004; Wendy MacCaull (J. Softw. Maintenance Res. Pract., 2011)