Embedded Systems Development: From Functional Models to Implementations

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

(9781489992888 / 9 black & white tables, biography) | Verhulst Formal Development of, Formal Development of

Embedded Systems Architecture for Agile Development: A Layers-Based Model

APRESS L.P. (9781484230503 / 29871622)

A Development Environment for High Performance Embedded Systems: Building Advanced Systems for Embedded Real-time Control

(9783838338460)

Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems

Springer (9783319208213) | Distributed Embedded Controller Development

Embedded-Multi-Core-Systeme Softwareentwicklung

Embedded Systems Design: The ARTIST Roadmap for Research and Development

Springer (9783540251071) | Research and Development, Embedded Systems Design