Schedulability Analysis of the CAN Network Using Timed Automata

• 基于时间自动机的CAN网络可调度性分析