A software analysis technique for quantifying reliability in high-risk medical devices | IEEE Conference Publication | IEEE Xplore