Developing Medical Device Software with Zero Bugs