Methods of providing reliability of avionics and aerospace equipment at the design stage | IEEE Conference Publication | IEEE Xplore