publication venue for Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care 2008