Single Lane Change Sequence Diagram - woven-planet/opensafety-mbse GitHub Wiki
Whereas a state model shows what CAN happen, a sequence diagram shows, for a given scenario, what does actually happen.
A detailed key is provided in the sequence diagram document, but here is a simple overview: