@conference {, title = {Safe CPS from Unsafe Controllers}, booktitle = {Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems}, year = {2021}, month = {06/2021}, author = {U. Mehmood and S. Bak and S. A. Smolka and S. D. Stoller} }