2010 Workshop on Model-Driven Engineering, Verification, and Validation MoDeVVa 2010 | AMiner