Embedded Software Development for Safety-Critical Systems, Second Edition

Embedded Software Development for Safety-Critical Systems

Embedded Software Development: The Open-Source Approach (Embedded Systems)

Embedded Systems Security: Practical Methods for Safe and Secure Software and Systems Development

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