, "Application of a temporal logic in the synthesis of sequential failure modes and effects analyses", , 2009