Describir: Safe automation of interfering medical treatments via control barrier functions and reachability analysis: a fluid resuscitation-sedation-vasopressor infusion case study.