Modeling bus scheduling policies for real-time systems