Introduction to Embedded Systems - A Cyber-Physical Systems Approach by Edward Ashford Lee, Sanjit Arunkumar Seshia

This book strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. The emphasis is on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, and physical processes.