Execution specification 2
Combined fragment - Weak sequencing
Combined fragment - Alternatives
Combined fragment - Option
Combined fragment - Break
Combined fragment - Parallel
Combined fragment - Strict sequencing
Combined fragment - Critical region
Combined fragment - Negative
Combined fragment - Assertion
Combined fragment - Ignore
Combined fragment - Consider
State invariant / Continuations
Message, asynchronous signal
Message, synchronous call