Towards Articulating Failures and Fault Trees and Verification for Building Resilience in Robot Swarms | IEEE Conference Publication | IEEE Xplore