EN 62502:2010 - Analysis techniques for dependability - Event tree ...