经典的《嵌入式系统导论CPS方法》Lee&Seshia第二版英文版。伯克利嵌入式系统教材。