Advanced model-based engineering of embedded systems : extensions of the SPES 2020 methodology. (Springer, 2016)