Introduction to Embedded Systems

A Cyber-Physical Systems Approach

by Edward Ashford Lee, Sanjit Arunkumar Seshia