1. Chung, T., Clement, M., Day, M., Jones, K., Davis, D., Jones, M.: Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs. In: Proceedings of the 2016 IEEE International Conference on Robotics and Automation, Stockholm, Sweden, April 2016 (2016)
2. Coppola, M., McGuire, K., De Wagter, C., de Croon, G.: A survey on swarming with micro air vehicles: fundamental challenges and constraints. Front. Robot. AI 7, 18 (2020)
3. Auguston, M., Whitcomb, C., Giammarco, K.: A new approach to system and software architecture specification based on behavior models. In: Proceedings of the 3rd International Conference on Model-Based Systems Engineering, Fairfax, VA, September 2010 (2010). https://wiki.nps.edu/download/attachments/604667916/MBSE-2010-final.pdf
4. Nara blockchain white paper. National Archives and Records Administration, February 2019 (2019). https://www.archives.gov/files/records-mgmt/policy/nara-blockchain-whitepaper.pdf
5. Carter, N.: Design and informal verification of a distributed ledger protocol for distributed autonomous systems using Monterey Phoenix. MS thesis, Naval Postgraduate School, Monterey, CA, December 2020 (2020)