A formalized safety system for closed-loop anesthesia with pharmacokinetic and pharmacodynamic constraints. (March 2019)