Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo | IEEE Conference Publication | IEEE Xplore