A Methodology for Resilience-based Design of an Environmental Control and Life Support System