Zheng Zhu A Compositional Circuit Model and Verification by Composition. 92-109 1994 conf/tpcd/1994 TPCD db/conf/tpcd/tpcd1994.html#Zhu94