Thomas S. Payne William M. van Cleemput Automated partitioning of hierarchically specified digital systems. 182-192 1982 DAC http://doi.acm.org/10.1145/800263.809205 conf/dac/1982 db/conf/dac/dac1982.html#PayneC82