(美)Scott Jamison，(美)Mauro Cardarelli，(美)Susan Hanley著2009 年出版271 页ISBN：
（美）亚历山大（Alexander，G.J.） （美）夏普（Sharpe，W.F.） （美）贝利（Bailey，J.V.）著 赵锡军 季冬生 李向科等译2003 年出版0 页ISBN：
（美）皮文（Piven J.），（美）伯根尼希特（Borgenicht D.），（美）沃里克（Worick J.）著；陈新宇，汪小其译2007 年出版190 页ISBN：
（美）皮文（Piven J.），（美）伯根尼希特（Borgenicht D.），（美）沃里克（Worick J.）著；陈新宇，汪小其译2007 年出版192 页ISBN：
（美）德美莱克（M.Demerec），（美）考夫曼（B.P.Kaufmann）著；熊振民，熊振平译1957 年出版50 页ISBN：16119·76
（美）Michael Hitt，（美）Steward Black，（美）Lyman W. Porter著2009 年出版606 页ISBN：9787040244038
本书为世界优秀教材中国引进翻译版。
（奥）赫尔曼·科佩茨（Hermann Kopetz）著2019 年出版266 页ISBN：9787111613770
本书主要介绍分布式实时系统的技术原理和设计方法，重点围绕安全关键实时系统的行为确定性、可组合性和容错能力等难题提出了时间触发机制和相应的设计原则。本书整体内容分为四大部分，包括关于时间的基础理论...
