Proxel-Based Simulation of Fault Trees in R | IEEE Conference Publication | IEEE Xplore