added state diagrams to SRS