A translation of State Machines to temporal fault trees.

Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker

Browse the full DSN paper archive.