Enviar por SMS: Safety verification for ROS software