July 12, 1999
Tivoli, Rome
20
Events
•
Local:
•
•
E : an arbitrary event. E could be:
–
Component C assumes state S
–
E after time T (T: local time)
–
E during interval [T1, T2]
–
E1 or E2
–
E1, E2 (sequence)