Petschina, Bernhard: Model-Based Designflow for the Construction of Cyber-Physical Systems