Mills, K. L. Gomaa, H. Knowledge-Based Automation of A Disign Method for Concurrent Systems - 228-255 p. Subjects--Topical Terms: Automated Software EngineeringKnowledge Based Software Engineering