A translation of State Machines to temporal fault trees | IEEE Conference Publication | IEEE Xplore