- Software Engineering for Real-Time Systems
- Real-Time Operating Systems Book 1: The Foundations
- Modelling Software with Pictures: Practical UML Diagramming for Real-Time Systems
- Real-time Operating Systems Book 2 - The Practice: Using STM Cube, FreeRTOS and the STM32 Discovery Board (The engineering of real-time embedded systems)
- Software Engineering for Real-time Systems Volume 2: Designing and Developing Real-time Software (The engineering of real-time embedded systems)