Towards performance guarantees for emergent behavior | IEEE Conference Publication | IEEE Xplore