Formal derivation of optimal active shielding for low-power on-chip buses | IEEE Conference Publication | IEEE Xplore