Segregating multiple groups of heterogeneous units in robot swarms using abstractions | IEEE Conference Publication | IEEE Xplore