System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC | IEEE Conference Publication | IEEE Xplore