A specification invariant technique for operation cost minimisation in flow-graphs | IEEE Conference Publication | IEEE Xplore