Modeling Systems with Structured State