Galileo: A Tool for Dynamic Fault Tree Analysis · Study