Automation of reliability model construction for multi-out renewal systems | IEEE Conference Publication | IEEE Xplore