Under the current weak state of the art in cyber-physical system (CPS) software engineering a number of problems that plague the industry cannot be contained easily. Low quality of network-based CPS software, low productivity of CPS software engineers, and low performance due to rough design and ineffective computing resource management, are some examples of the problems. Specific component technologies of which improvements are badly needed include specification, design, and guaranteeing of action timings in network-based CPSs, high-level programming tools boosting the productivity of software engineers, etc.