Raymond J. A. Buhr C. Murray Woodside Gerald M. Karam K. Van Der Loo D. G. Lewis Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. 62-67 1985 ICSE db/conf/icse/icse85.html#BuhrWKLL85