zbMATH中的参考文献（参考 26篇文章 26篇文章 引用，1标准件)

1. 陈金超；杜承烈；谢飞；杨振坤：多核实时系统中非抢占严格周期任务的可调度性分析（2016）
2. íström，Karl J.；Kumar，P.R.：控制：一种视角（2014）
3. Squire，J.；Burby，J.；Qin，H.：\texttvest:抽象向量演算简化（2014）
4. Bakhshiyan，B.Ts.；Goryainov，A.V.：用骨架算法求解（L）-最优实验设计（2010）
5. Galyaev，A.A.：威胁环境中物体运动的探测功能（2010）
6. Islam，Shariful；Suri，Neeraj；Balogh，András；Csertán，György；Pataricza，András:集成可靠实时嵌入式系统的基于优化的设计（2009）ioport公司
7. Polischuk，A.S.：易损材料的微变形理论（2009）
8. Bini，Enrico；Di Natale，Marco；Buttazzo，Giorgio：固定优先级实时系统的灵敏度分析（2008）
9. 帕斯卡·德劳内（Delaunay），安托万（Antoine）朱克斯（Joux）：又一次对背心的攻击（2008年）
10. Gokhale，Aniruddha；Balasburamanian，Krishnakumar；Krishna，Arvind S.；Balasburamanian，Jaiganesh；Edwards，George；Deng，Gan；Turkay，Emre；Parsons，Jeffrey；Schmidt，Douglas C.：模型驱动中间件：开发分布式实时和嵌入式系统的新范式（2008）
11. Jung，Eunok；Lenhart，Suzanne；Protopopescu，Vladimir；Babbs，Charles：胸腹式心肺复苏模型的最佳控制（2008）
12. Karsai，Gabor；Neema，Sandeep；Sharp，David：《嵌入式软件的模型驱动体系结构：概要与实例》（2008）
13. Krishnakumar Balasubramanian，Jaiganesh；Parsons，Jeff；Gokhale，Aniruddha；Schmidt，Douglas C.：分布式实时和嵌入式系统的独立于平台的组件建模语言（2007）
14. 朱克斯，安托万；莱因哈德，让·雷内：《超车背心》（2007）
15. Mahadevan，Shankar；Virk，Kashif；Madsen，Jan:ARTS:基于systemc的芯片上多处理器系统建模框架（2007）ioport公司
16. Röttger，Simone；Zschaler，Steffen:非功能规范细化的工具支持（2007）ioport公司
17. 瓦卢埃斯库，伊利：完全相关作用中的平稳过程。（2007年）
18. Yasugi，Mariko；Mori，Takakazu；Tsujii，Yoshiki:作为可计算分析方法论的有效一致性序列及其极限（2007）
19. Juratoni，Adina:函数代数的一些绝对连续表示（2006）
20. Madl，Gabor；Abdelwahed，Sherif；Schmidt，Douglas C.：通过图转换和模型检查验证嵌入式系统的分布式实时特性（2006）