Schedulability Analysis of P