LDEF Formalism for Agent-Based Model Development | IEEE Journals & Magazine | IEEE Xplore