Added state diagrams into latex file