A model-driven software construction approach for cyber-physical systems / Uwe Pohlmann ; Referee: Prof. Dr. Matthias Tichy, Prof. Dr. Gregor Engels