Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks