1. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) - Framework and Rules. IEEE Std. 1516-2010, August 2010
2. ArchiMate 3.0.1 Specification. Open Group Standard, August 2017
3. NATO Architecture Framework version 4.0. NATO Std. NAFv4, January 2018
4. Cornu, F., Garnier, A., Audoly, C.: Simulation of the efficiency of a system of drones in a mine warfare scenario. In: Undersea Defence Technology, pp. 1–8 (2008)
5. Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F.: A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166, 35–70 (2018)