Title: AFTC code for automatic fault tree construction
Subjects: Fire extinction, Fire prevention