Embedded systems design : an introduction to processes, tools, and techniques - Berger, Arnold (Elsevier, 2010)