Ashok U. Mallya Munindar P. Singh Incorporating Commitment Protocols into Tropos. 69-80 2005 conf/aose/2005 AOSE http://dx.doi.org/10.1007/11752660_6 db/conf/aose/aose2005.html#MallyaS05