Becker, Jan Steffen (2026) A Consistency Analysis Method for Traffic Sequence Charts. PhD, Universität Oldenburg.