A Programming Framework for Robot Swarms | IEEE Conference Publication | IEEE Xplore