Specification and allocation of reliability and availability requirements | IEEE Conference Publication | IEEE Xplore