Consistency of multiple system engineering models of a fixed wing drone