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

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