(2009). Application of a temporal logic in the synthesis of sequential failure modes and effects analyses. Recent advances in computing and management information systems, 189 - 206. ATINER