Milan Milanovic Dragan Gasevic Gerd Wagner Marek Hatala Rule-Enhanced Business Process Modeling Language for Service Choreographies. 337-341 2009 MoDELS http://dx.doi.org/10.1007/978-3-642-04425-0_25 conf/models/2009 db/conf/models/models2009.html#MilanovicGWH09