Model-based engineering of embedded systems : the SPES 2020 methodology - Pohl, Klaus, editor (Spinger-Verlag, 2012)