Updated state model documentation.