Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants