Modeling And Verification Of Advanced Under-Frequency Load Shedding Schemes