Section Header
    + name := EVENT_TIMER;
    - comment :="Timer event.";
Section Inherit
    + parent_event:Expanded EVENT;
Section Public
    - source:INBOX :=
    + count:UINTEGER_32;
    + prev:EVENT_TIMER;
    - set_prev new_prev:EVENT_TIMER <-
    - make new_count:UINTEGER_32 <-
    - delay:UINTEGER_32 <-
Display.
    - display <-