Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design. - Benedikt Walter; Jan Martin; Jonathan Schmidt 004; Hanna Dettki; Stephan Rudolph (MODELSWARD, 2019)