The Galileo fault tree analysis tool | IEEE Conference Publication | IEEE Xplore