The Art of Programming Embedded Systems by Jack Ganssle: Used
A nice touch in this textbook is the color-coded sections for different topics.
Embedded Systems: World Class Designs by Jack Ganssle: Used
What stands out about this textbook is the inclusion of interviews with practitioners.
The Art of Designing Embedded Systems
This textbook is part of a series, but it works perfectly on its own.