Automatic Synthesis of Robust Embedded Control Software
Discrete abstractions of hybrid systems