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:59 - 9 self