As computing becomes cheaper, faster, smaller, and interconnected, increasingly many aspects of our modern society---in transportation, manufacturing, agriculture, healthcare, etc---are dependent on a wide variety of embedded systems. This raises a lot of challenging and exciting research questions...