Model-based engineering of embedded systems the SPES 2020 methodology / - Pohl, Klaus,; Honninger, Harald.; Achatz, Reinhold.; Broy, M., (Springer,, 2012)