时间触发安全关键嵌入式系统的新型建模框架| IEEE会议出版物| IEEE Xplore