
Execution of natural language requirements using State Machines synthesised from Behavior Trees
Keywords: Requirements; Requirements Validation; Behavior Trees; Behavior Engineering; MDE; Model Transformation; UML State Machine