An algorithm to generate FSTs for the reliability analysis of distributed systems | IEEE Conference Publication | IEEE Xplore