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