Principes, techniques et outils de simulation, vérification et exécution d'actions robotiques — Eduardo Castillo Castañeda