Formal Approach to the Deployment of Distributed Robotic Teams | IEEE Journals & Magazine | IEEE Xplore