Fault Tree Analysis of Sequential Systems · Study