Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systemsдоклад на конференции