�1����
Scope������������
�2����
References���
������� 2.1����
Normative references������
������� 2.2����
Informative references���
�3����
Definitions and abbreviations�
������� 3.1����
Definitions���������
������� 3.2����
Abbreviations���
�4����
Package conformance and compatibility�������������
�5����
Package concepts for the core language���������������
������� 5.1����
Time and Sampling���������
������� 5.2����
Data streams����
������� 5.3����
The assert statement�������
������� 5.4����
Control structures for continuous and hybrid behaviour���������
�� �����5.5����
The wait statement����������
�6����
TRI extensions for the package��������������
������� 6.1����
triStartClock (TE → PA)�
������� 6.2����
triReadClock (TE → PA)
������� 6.3����
triNextSampling (TE →
PA, SA →
PA)����������
������� 6.4����
triBeginWait (TE →
PA)��
������� 6.5���� triProcessStep
(PA → TE)
������� 6.6���� triEndWait
(PA → TE)�����
������� 6.7���� triSetStreamValue
(TE → SA)�������
������� 6.8����
triGetStreamValue (TE → SA)������
�7����
TCI extensions for the package��������������
������� 7.1����
tciSetStreamValueReq (TE → CH)��������������
������� 7.2����
tciSetStreamValue (CH → TE)�����
Annex A � BNF and static semantics����
������� A.1����
Changed BNF rules���������
������� A.2����
New BNF rules�
Bibliography����