Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design

Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph