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

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)

CAN and CANopen for Embedded Systems Engineers: Designing Reliable Real-Time Communication Architectures for Industrial Devices