Formal Synthesis of Provably Safe Digital Controllers Continuous Plants.