2 books
Programming Embedded Systems: An Introduction to Time-Oriented Programming (V2.0)
Programming Embedded Systems