Computer Aided Fault Tree Analysis