Execution of natural language requirements using State Machines synthesised from Behavior Trees

Soon-Kyeong Kim, Toby Myers, Marc-Florian Wendland, Peter A. Lindsay. Execution of natural language requirements using State Machines synthesised from Behavior Trees. Journal of Systems and Software, 85(11):2652-2664, 2012. [doi]