Synthesizing hierarchical state machines from expressive scenario descriptions

Jon Whittle, Praveen K. Jayaraman. Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Transactions on Software Engineering Methodology, 19(3), 2010. [doi]

Abstract

Abstract is missing.