Software engineering for embedded systems : methods, practical techniques, and applications (Newnes, 2013)