In this article, we present a template for gathering & structuring all information required by a human or software to perform a failure-mode-and-effects analysis (FMEA) using formal languages. The practical use of such a template for safety analysis is highlighted through the safety analysis (single point of failure) of a voltage monitor presented in the “ARP4761 recommended practice for aerospace system safety assessment”.