Software reliability allocation with safety concerns in medical devices | IEEE Conference Publication | IEEE Xplore