Automated generation of fault tree using the symbolic DEVS simulation | IEEE Conference Publication | IEEE Xplore