Availability analysis of systems with suspended animation | IEEE Conference Publication | IEEE Xplore