A Case Study of the Development and use of a MANA-Based Federation for Studying U.S. Border Operations | IEEE Conference Publication | IEEE Xplore