Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. - Jeff Dallien; Wendy MacCaull; Allen Tien (MOMPES, 2008)