  Supervisory control design of cyber-physical systems has many challenges.
Model-based systems engineering can address these, with solutions originating
from various disciplines. We discuss several tools, each state-of-the-art in
its own discipline, offering functionality such as specification, synthesis,
and verification. Integrating such mono-disciplinary tools in a
multi-disciplinary workflow is a major challenge. We present Analytics as a
Service, built on the Arrowhead framework, to connect these tools and make them
interoperable. A seamless integration of the tools has been established through
a service-oriented architecture: The engineer can easily access the
functionality of the tools from a single interface, as translation steps
between equivalent models for the respective tools are automated.
