Embedded Android: Porting, Extending, and Customizing

Bare Metal C: Embedded Programming for the Real World

Introduction to Embedded Systems

Design and Implementation of the FreeBSD Operating System, The

Mission-Critical and Safety-Critical Systems Handbook: Design and Development for Embedded Applications

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Embedded Linux Primer: A Practical, Real-World Approach

Embedded Systems: Real-Time Operating Systems for Arm Cortex M Microcontrollers

Design a Z80 Computer: A Practical Guide to Designing a Working Z80 Computer System

Architecting High-Performance Embedded Systems: Design and build high-performance real-time digital systems based on FPGAs and custom circuits