: InstancePath PendingTime := <PendingTime [...] OrConstant PendingTimeParameter :=
Validity: TIME := t#1s; END [...] the actual receiver module