Power Consumption Models for Redundantly Performing Mobile-Agents | IEEE Conference Publication | IEEE Xplore