Leon J. Osterweil Lori A. Clarke Frameworks for Reasoning about Agent Based Systems. 64-71 http://dx.doi.org/10.1007/3-540-47772-1_7 2000 conf/agents/2000w Agents Workshop on Infrastructure for Multi-Agent Systems db/conf/agents/agentsw2000.html#OsterweilC00