Synthesizing State-Based Object Systems from LSC Specifications (2000)

by David Harel , Hillel Kugler
Citations:94 - 24 self