Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements (2005)

by D Harel, H Kugler, A Pnueli
Venue:In Formal Methods in Software and Systems Modeling