KMDS: an expert system for integrated hardware/software design of microprocessor-based digital systems. - Yau-Hwang Kuo; Ling-Yang Kung; Ching-Chung Tzeng; Guang-Huei Jeng; Wei-Kuo Chia (IEEE Micro, 1991)