The state variables in figure 2.6 V1.2 may be confusing ("var@val"). It could be understood as variable@value.
In '2.3.2 State variables' the style of the label is described: "... Prefix and suffix should be separated by the symbol '@', X@Y thus meaning value X AT variable Y. ..." ("val@var").
Of course this is a typo. I'll fix it.
Correct. The figure is wrong and should be corrected.
Fixing and will put in v1.3
Went in 1.3