EE249
Design of Embedded Systems: Models, Validation, and Synthesis