Return to Article Details A Novel Automation Framework for Embedded System Validation Using Domain-Specific Language Download