Cafta fault tree tool version 5.4