Software crisis and new development paradigms or how to design reliable medical software | IEEE Conference Publication | IEEE Xplore