Kamal Bhattacharya Cagdas Evren Gerede Richard Hull Rong Liu Jianwen Su Towards Formal Analysis of Artifact-Centric Business Process Models. 288-304 2007 conf/bpm/2007 BPM http://dx.doi.org/10.1007/978-3-540-75183-0_21 db/conf/bpm/bpm2007.html#BhattacharyaGHLS07