Software Specification and Design: A Disciplined Approach for Real-Time Systems

Embedded Microcomputer Systems: Real Time Interfacing by Jonathan W. Valvano

Embedded Systems Programming in C: Real-Time Design, Interrupt Management, and M

Embedded Systems: Real-Time - Paperback, by Valvano Jonathan W. - Acceptable

Real-Time Embedded Multithreading

Real-Time Embedded Multithreading: Using ThreadX and ARM [With CDROM]

Embedded Microcomputer Systems: Real Time Interfacing by Jonathan W. Valvano