Knowledge-based software development for real-time distributed systems - Tsai, Jeffrey J.-P; Weigert, Thomas J. (World Scientific, 1993)