The Engineering of Reliable Embedded Systems: Developing Software for 'SIL0' to 'SIL3' Designs Using Time-Triggered Architectures

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

C++ Embedded Systems Development: Building Reliable Software for Hardware Constrained Environments (Modern C++ Engineering Series)

C++ Embedded Systems Development: Building Reliable Software for Hardware Constrained Environments: 2 (Modern C++ Engineering Series)

C++ for Embedded Systems: Building Efficient and Reliable Firmware