Dynamic behavior verification of a lightweight machine for routing | Publicación