Formal Intent-Based Trajectory Description Languages | Publicación