Formal Modeling and Simulation of Collaborative Intelligent Robots | Publicación