Added State Diagram to TEX