Availability Modeling for Complex System Design | IEEE Conference Publication | IEEE Xplore