Aspect-Oriented Design Automation with Model Transformation | IEEE Conference Publication | IEEE Xplore