Fault Tree Data Structure Based on XML and the Conversion Method to BDD | IEEE Conference Publication | IEEE Xplore