Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability | IEEE Conference Publication | IEEE Xplore