Building distributed systems using Mace | IEEE Conference Publication | IEEE Xplore