AMDA: Matching the Model-Driven-Architecture's Goals Using Extended Automata as a Common Model for Design and Execution | IEEE Conference Publication | IEEE Xplore