PROFAT: A user friendly system for probabilistic fault tree analysis · Study