Fault Tree Analysis Using Bit Manipulation · Study