Modeling a safety-related system for continuous non-invasive blood pressure monitoring | IEEE Conference Publication | IEEE Xplore