Experience in capturing requirements for safety-critical medical devices in an industrial environment | IEEE Conference Publication | IEEE Xplore