Software Design for Real-time Systems, Cooling, J. E., Very Good Book

Software Design Methods for Concurrent and Real-Time Systems

Software Design for Real-Time Systems - Cooling, J. E.

Real Time Software Design: Guide for Microprocessor Systems, HELLER, Good Book

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

Real-Time Systems : Design Principles for Distributed Embedded Applications, ...

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