Formal Specification of the Semantics of Control State Diagrams. - Markus Leitz; Alexander Raschke (ABZ, 2018)