CPS: Small: Software-State Observability in CPS