Formal Intent-Based Trajectory Description Languages for Quadrotor Aircraft | Publicación