Modelling blood pressure uncertainty for safety verification of propofol anesthesia | IEEE Conference Publication | IEEE Xplore