Phast - The industry hazard analysis tool