On Synchronous Robotic Networks—Part I: Models, Tasks, and Complexity | IEEE Journals & Magazine | IEEE Xplore