Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering [email protected].
Automated Analysis and Code Generation for Domain-Specific Models
