Modeling distributed autonomous robots using CHARON: formation control case study | IEEE Conference Publication | IEEE Xplore