Definitions of Data and Control Elements of the Module In this section all primitive (non-compound) local data-items, events, and conditions are defined. “Local’ means elements not used outside the module scope. ACK_BAR2_DOWN : event ; IN_CRIT2 : condition ;
In this section all primitive (non-compound) local data-items, events, and conditions are defined. “Local’ means elements not used outside the module scope.