An exact schedulability test for global FP using state space pruning