A Monte Carlo method of complicated system availability analysis using component state trace | IEEE Conference Publication | IEEE Xplore