Developing integrated hardware-software reliability models: difficulties and issues [for digital avionics] | IEEE Conference Publication | IEEE Xplore