Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel Introduction. 1-3 1992 conf/hybrid/1992 Hybrid Systems db/conf/hybrid/hybrid92.html#GrossmanNRR92