Handbook of research on embedded systems design - Bagnato, Alessandra (Advances in systems analysis, software engineering, and performance computing (ASASEHPC) book series, 2014)