Synthesizing state-based object systems from LSC specifications (2000)

by D Harel, H Kugler
Venue:In Proc. 5th Inf. Conf. on Implementation and Application of Automata (CIAA’00), volume 2088 of Lect. Notes in Comp. Sci