A translation of State Machines to temporal fault trees. - Nidhal Mahmud; Yiannis Papadopoulos; Martin Walker (DSN Workshops, 2010)

Compositional synthesis of temporal fault trees from state machines. - Nidhal Mahmud; Martin Walker; Yiannis Papadopoulos (SIGMETRICS Perform. Evaluation Rev., 2012)

Dynamic model-based safety analysis : from state machines to temporal fault trees. - Nidhal Mahmud (2012)

Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. - Ramin Tavakoli Kolagari; De-Jiu Chen; Agnes Lanusse; Renato Librino; Henrik Lönn; Nidhal Mahmud; Chokri Mraidha; Mark-Oliver Reiser; Sandra Torchiaro; Sara Tucci Piergiovanni; Tobias Wägemann; Nataliya Yakymets (Int. J. Concept. Struct. Smart Appl., 2015)

Improving Dependability of Robotics Systems, Experience from Application of Fault Tree Synthesis to Analysis of Transport Systems. - Nidhal Mahmud (Int. J. Robotics Appl. Technol., 2015)

Model transformation for analyzing dependability of AADL model by using HiP-HOPS. - Zhibao Mian; Leonardo Bottaci; Yiannis Papadopoulos; Nidhal Mahmud (J. Syst. Softw., 2019)

A minimization algorithm for automata generated fault trees with priority gates. - Nidhal Mahmud (Softw. Qual. J., 2019)