Introduction To Embedded Systems door Edward Ashford Lee & Sanjit Arunkumarr Seshia