ETMA: An Efficient Tool for Event Trees Modeling and Analysis | IEEE Conference Publication | IEEE Xplore