information. InOut: Scope
IsIntervalElapsed : BOOL InOut: Scope
the alarm InOut
transition InOut: Scope
InitialValue : ERROR InOut: Scope
