Pinar Yolum Design time analysis of multiagent protocols. 137-154 2007 63 Data Knowl. Eng. 1 http://dx.doi.org/10.1016/j.datak.2006.12.001 db/journals/dke/dke63.html#Yolum07