A synthesis rule for concurrent systems. - Tilak Agerwala; Yong-Chai Choed-Amphai (DAC, 1978)