Software reliability assurance in early development phases: a case study in an industrial setting | IEEE Conference Publication | IEEE Xplore