"Hybrid Systems" - читать интересную книгу автора (Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel)