Jan Steffen Becker: Partial Consistency for Requirement Engineering with Traffic Sequence Charts. Software Engineering (Workshops) 2020