A phase-based approach to creating highly reliable software | IEEE Conference Publication | IEEE Xplore