A specification invariant technique for regularity improvement between flow-graph clusters | IEEE Conference Publication | IEEE Xplore