Mark Klein A Knowledge-Based Methodology for Designing Reliable Multi-agent Systems. 85-95 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2935&spage=85 2003 conf/aose/2003 AOSE db/conf/aose/aose2003.html#Klein03