Mahmud, Nidhal, "Dynamic model-based safety analysis: from state machines to temporal fault trees", , 2012