Technical report: Specification of dynamic models for examining resilience

Summary
Technical report: Specification of dynamic models for examining resilience