Ernesto Damiani Paolo Ceravolo Cristiano Fugazza Karl Reed Representing and Validating Digital Business Processes. 19-32 2007 WEBIST (Selected Papers) http://dx.doi.org/10.1007/978-3-540-68262-2_2 conf/webist/2007sp db/conf/webist/webist2007sp.html#DamianiCFR07