Dynamic model-based safety analysis: from state machines to temporal fault trees (2012)
Thesis
Mahmud, N. (2012). Dynamic model-based safety analysis: from state machines to temporal fault trees. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4214015

Finite state transition models such as State Machines (SMs) have become a prevalent paradigm for the description of dynamic systems. Such models are well-suited to modelling the behaviour of complex systems, including in conditions of failure, and wh... Read More about Dynamic model-based safety analysis: from state machines to temporal fault trees.