David Harel Hillel Kugler Synthesizing State-Based Object Systems from LSC Specifications. 1-33 2000 conf/wia/2000 CIAA http://dx.doi.org/10.1007/3-540-44674-5_1 db/conf/wia/ciaa2000.html#HarelK00