" Introduction to embedded systems : " Edward Ashford Lee and Sanjit Arunkumar Seshia, Electrical Engineering & Computer Sciences, University of California, Berkeley.