Designing Supervisory Control for Safety-Critical Systems