Simulation Methods for Reliability and Availability of Complex Systems (Springer Series in Reliability Engineering)