Wrote state chart traceability