Schedulability Analysis for the Abort-and-Restart (AR) Model Hing Choi Wong