Name
signalValue — Gives the value of a checkcase signal/variable
Content model
signalValue : 
     (#PCDATA)
Description
      Used inside a checkCase element to give the current value of an internal signal or
      input/output variable, for verification of proper implementation of a model.