Verifying safety critical task scheduling systems in PPTL axiom system