SAEDES++: determining complex system availability via simulation | IEEE Conference Publication | IEEE Xplore