Languages and Tools for Hybrid Systems Design (Foundations and Trends in Electronic Design Automation) 2006 · ENGLISH · PDF View details →