- 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)
- Software Engineering for Real-time Systems Volume 1: Foundations (The engineering of real-time embedded systems)
- Software Engineering for Real-time Systems Volume 3: Implementation and performance Issues (The engineering of real-time embedded systems)








