Safety & hazard analysis for software controlled medical devices | IEEE Conference Publication | IEEE Xplore