Embedded systems are everywhere: ATMs, cable boxes, industrial control, firewalls, storage devices, GPS systems, and so on. Only recently, embedded systems were completely customized machines that ran ...