The Robot Formation Language — A formal description of formations for collective robots | IEEE Conference Publication | IEEE Xplore