Recovery Process Visualization based on Automaton Construction | IEEE Conference Publication | IEEE Xplore