Formal intent based Flight Management System design for unmanned aerial vehicles | IEEE Conference Publication | IEEE Xplore