Knowledge Base Support For Design and Synthesis Of Multi-Agent Systems by Marc J Raphael