Modal abstraction view of requirements for medical devices used in healthcare processes | IEEE Conference Publication | IEEE Xplore