Stochastic ageing and maintenance models for unavailability quantification of complex multi-component systems | IEEE Conference Publication | IEEE Xplore