Text this: Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation