书单 1. 实时嵌入式系统建模分析 [Morgan Kaufmann] 实时嵌入式系统建模分析 (UML & MARTE 实现) (英文版) [Morgan Kaufmann] Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE (E-Book)