Title: UML-B Specification for Proven Embedded Systems Design / Edition 1, Author: Jean Mermet
Title: Embedded Systems Circuits and Programming / Edition 1, Author: Julio Sanchez
Title: System-Level Design Techniques for Energy-Efficient Embedded Systems / Edition 1, Author: Marcus T. Schmitz