High level architecture-based framework for modeling interdependent critical infrastructure systems