Formal Methods And Their Potential For Achieving Highly Dependable Computer Based Medical Applications | IEEE Conference Publication | IEEE Xplore