Modeling A UAV in Practice: A Comparison between Rhapsody and Capella | IEEE Conference Publication | IEEE Xplore