Nirmit Desai Zhengang Cheng Amit K. Chopra Munindar P. Singh Toward verification of commitment protocols and their compositions. 33 2007 conf/atal/2007 AAMAS http://doi.acm.org/10.1145/1329125.1329165 db/conf/atal/aamas2007.html#DesaiCCS07