Model Driven Quality Assurance Techniques for DRE Applications Arvind S. Krishna & Emre Turkay Andy Gokhale, Douglas C. Schmidt Institute for Software.
