"Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings " - читать интересную книгу автора (Thomas A. Henzinger, Shankar Sastry)