Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

Authors: David Harel, Hillel Kugler, Amir Pnueli - Lecture notes in computer science 2005 cited by 128