Source: https://www.researchgate.net/profile/Muaz_Niazi/publication/251422366_Towards_A_Novel_Unified_Framework_for_Developing_Formal_Network_and_Validated_Agent-Based_Simulation_Models_of_Complex_Adaptive_Systems/links/557ed23508aeb61eae2608ed/Towards-A-Novel-Unified-Framework-for-Developing-Formal-Network-and-Validated-Agent-Based-Simulation-Models-of-Complex-Adaptive-Systems.pdf