Wolf Kohn Anil Nerode Autonomous Control of Hybrid Systems with Declarative Controllers. 3-22 1993 LPNMR db/conf/lpnmr/lpnmr93.html#KohnN93