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

ATl EXTENDS EdgeTriggeredTimingControlledBehaviour [...] Controller , inherited from TimingControlledBehaviour [...] TimeOut , inherited from TimingControlledBehaviour

ATo EXTENDS EdgeTriggeredTimingControlledBehaviour [...] Controller , inherited from TimingControlledBehaviour [...] TimeLimit , inherited from TimingControlledBehaviour

different behaviour. The [...] BehaviourModel function [...] behaviour according to a

Controller , inherited from TimingControlledBehaviour [...] Model , inherited from TimingControlledBehaviour [...] Action , inherited from TimingControlledBehaviour

Controller , inherited from TimingControlledBehaviour [...] Action , inherited from TimingControlledBehaviour [...] Action , inherited from TimingControlledBehaviour

to the behaviour [...] corresponding behaviour has [...] IEdgeTriggered xHasContinuousBehaviour

H libraryFile CAA_Behaviour [...] File CAA_Behaviour [...] Placeholder CAA Behaviour

block Behaviour [...] a Behaviour [...] behaviour model via an

. CAA Behaviour Model [...] ¶ Placeholder: CAA Behaviour [...] Resolution: CAA Behaviour