Model-Driven Engineering Languages and Systems - Dingel (Springer International Publishing, 2014)