Formal mission specification and execution mechanisms for unmanned aircraft systems | Publicación