State-based scheduling analysis for distributed real-time systems