Rule-Based Design Methodology for Solving Control Problems. - Farhad S. Etessami; Gurdeep S. Hura 001 (IEEE Trans. Software Eng., 1991)