Maurice H. ter Beek Franco Mazzanti Stefania Gnesi CMC-UMC: a framework for the verification of abstract service-oriented properties. 2111-2117 2009 SAC http://doi.acm.org/10.1145/1529282.1529751 conf/sac/2009 db/conf/sac/sac2009.html#BeekMG09