"Efficient Software Tools for Control and Analysis of Hybrid Systems" - читать интересную книгу автора (Michal Kvasnica)