Text this: Model-based engineering of embedded systems : the SPES 2020 methodology