Introduction To Embedded Systems Lee Seshia | Solution Manual
Here's an overview: