Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study