Dependable integrated clinical system architecture with runtime verification | IEEE Conference Publication | IEEE Xplore