Specification of Schedulers Using the Modal-p Calculus