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