Static analysis of business artifact-centric operational modelsCagdas E. GeredeKamal Bhattacharyaet al.2007SOCA 2007
On exploiting system dynamics modeling to identify service requirementsLianjun AnJun-Jang Jenget al.2006SCC 2006