Integrating security constraints into controller design workflows to produce CPS that are robust and safe by construction.
Case Study: