UAS behavior modeling based on high level abstraction | IEEE Conference Publication | IEEE Xplore