A fenti szekvencia diagram egy valid lefutása az üres halmaz, hiszen ha a Processor nem kéri el az aktuális sebességet a szenzortól, akkor nincs szükség vészfékezésre sem.

A fenti szekvencia diagram egy valid lefutása: <[state==Working is true], !getSpeed(), ?getSpeed(), !speed, ?speed, !actuate(speed), ?actuate(speed)>, mivel az assert és a neg fragmens is teljesül.

A fenti szekvencia diagram lefutása akkor is valid, ha a szenzor nem Working állapotban van, hiszen az állapot invariáns nincs assert fragmensbe foglalva.

A fenti szekvencia diagram egyetlen valid lefutása: <[state==Working is true], !getSpeed(), ?getSpeed(), !speed, ?speed>.