An Incremental Analysis to Workflow Specifications. - Hwai-Jong Hsu; Feng-Jian Wang; Da-Li Yang (APSEC, 2005)