Adding .pdf version of state transition graph.