DEVS formalism and vertex method-based fuzzy modeling