MCReNet: a tool for marked-controlled reconfigurable nets | IEEE Conference Publication | IEEE Xplore