In our modern society we depend on computer-‐controlled and computer-‐assisted systems. A substantial number of such systems are cyber-‐physical systems (CPS), as for example automobiles, airplanes, duty vehicles, industrial robots and other sophisticated machineries, in which a computer directly controls a physical process. These cyber-‐physical systems are inherently complex, and complexity rapidly increases as various cyber-‐physical systems interact with each other, sometimes even over the Internet, to form systems-‐of-‐systems (SoS). The boundaries of such systems are often blurred, and it becomes infeasible to fully define these systems by a complete set of formal requirements. Autonomous driving, Industry 4.0, and the Industrial Internet of Things are examples of such systems. Although techniques have been developed to design such systems, these techniques are not sufficiently concrete to allow a straight-‐forward procedural application. Thus, already the application of these techniques requires significant acts of creativity .