Title: Knowledge-based software development for real-time distributed systems
First published: 1993