Jiexin Lian Sol M. Shatz Xudong He Component Based Multi-Agent System Modeling and Analysis: A Case Study. 183-189 2007 conf/serp/2007-1 Software Engineering Research and Practice db/conf/serp/serp2007-1.html#LianSH07