Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering [email protected].