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

by David Harel , Hillel Kugler , Amir Pnueli
Venue:IN FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING
Citations:46 - 7 self