EXTENDS BehaviourModel [...] Controller , inherited from BehaviourModel [...] TimeLimit , inherited from BehaviourModel

EXTENDS EdgeTriggeredBehaviourModel [...] Controller , inherited from BehaviourModel [...] TimeLimit , inherited from BehaviourModel

To EXTENDS EdgeTriggeredTimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeLimit , inherited from TimingControlledBehaviourModel

Tl EXTENDS EdgeTriggeredTimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeOut , inherited from TimingControlledBehaviourModel

Controller , inherited from BehaviourModel [...] TimeLimit , inherited from BehaviourModel [...] TimeOut , inherited from BehaviourModel

TlC EXTENDS TimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeOut , inherited from TimingControlledBehaviourModel

Tl EXTENDS TimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeOut , inherited from TimingControlledBehaviourModel

To EXTENDS TimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeLimit , inherited from TimingControlledBehaviourModel

ATo EXTENDS EdgeTriggeredTimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeLimit , inherited from TimingControlledBehaviourModel

ATl EXTENDS EdgeTriggeredTimingControlledBehaviourModel [...] Controller , inherited from TimingControlledBehaviourModel [...] TimeOut , inherited from TimingControlledBehaviourModel