zbMATH中的参考文献（参考文献26条,1标准件)

1. 陈金超；杜承烈；谢飞；杨振坤：多核实时系统中非抢占严格周期任务的可调度性分析（2016）
2. 奥斯特伦，卡尔J。；Kumar，P.R.：控制：一个视角（2014）
3. 乡绅，J。；伯比，J。；Qin，H.：\texttvest:抽象向量演算简化（2014）
4. 巴基斯，哈希恩。；Goryainov，A.V.：用骨架算法求解（L）-最优实验设计问题（2010）
5. Galyaev，A.A.：威胁环境中物体运动的探测功能（2010）
6. 伊斯兰教，分享；尼拉吉苏里；巴洛赫，安德鲁斯；塞尔坦，吉尔吉；基于嵌入式系统的可靠性优化（2009年，基于Patarile的嵌入式系统优化）ioport公司
7. Polischuk，A.S.：易损材料的微变形理论（2009）
8. 比尼，恩里科；迪纳塔莱，马可；Buttazzo，Giorgio:固定优先级实时系统的灵敏度分析（2008）
9. 德劳奈，帕斯卡；朱克斯，安托万：又一次对马甲的攻击（2008年）
10. 阿尼鲁达，戈哈勒；巴拉苏布拉曼尼亚，克里希纳库马尔；克里希纳，阿文。；巴拉苏布拉曼尼，雅加尼什；爱德华兹，乔治；邓、甘；土耳其，埃姆雷；帕森斯，杰弗里；Schmidt，Douglas C.：模型驱动中间件：开发分布式实时和嵌入式系统的新范式（2008）
11. 荣格，尤诺克；伦哈特，苏珊娜；弗拉基米尔普罗波佩斯库；Babbs，Charles:最佳控制应用于胸腹式心肺复苏模型（2008）
12. 卡赛，加博；尼玛，桑德普；大卫夏普：《嵌入式软件的模型驱动体系结构：概要与实例》（2008）
13. 巴拉苏布拉曼尼亚，克里希纳库马尔；巴拉苏布拉曼尼，雅加尼什；帕森斯，杰夫；阿尼鲁达，戈哈勒；Schmidt，Douglas C:分布式实时和嵌入式系统的独立于平台的组件建模语言（2007）
14. 朱克斯，安托万；雷因哈德，让·雷内：超车背心（2007）
15. 马哈德万、尚卡尔；维克，卡什夫；Madsen，Jan:ARTS:一个基于systemc的多处理器系统片上建模框架（2007）ioport公司
16. Röttger，西蒙尼；Zschaler，Steffen：非功能规范细化的工具支持（2007）ioport公司
17. 瓦卢埃斯库，伊利：完全相关作用中的平稳过程。（2007年）
18. 亚苏吉，马里科；森喜朗，高冈；Tsujii，Yoshiki:有效一致性序列及其作为可计算分析方法的极限（2007）
19. Juratoni，Adina:函数代数的一些绝对连续表示（2006）
20. 马德尔，加博；谢里夫，阿布德尔瓦赫德；Schmidt，Douglas C.：通过图转换和模型检查验证嵌入式系统的分布式实时特性（2006）