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