Wu, M., Wang, J., Deshmukh, J., Wang, C., “Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems,”