Verification of an agent-based disease model of human mycobacterium tuberculosis infection | Publicación