Model-based design for embedded systems. (2018)