A.: Synthesis revisited: Generating statechart models from scenario-based requirements (2005)

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