Model-Based Approach for Resilient Vehicle Operation