Introduction to Embedded Systems- - A Cyber-Physical Systems Approach 2 Edition (English, Paperback, Seshia Lee)