Fig. 2From: Formal approach to model complex adaptive computing systemsProcess of modellingBack to article page