Students are introduced to the model-based systems engineering (MBSE) framework for the design of supervisory controllers as part of a high-tech system, such as a baggage transportation system. In this framework, combined continuous-time and discrete-event models are made of the uncontrolled system (plant) and of the supervisory controller. After analysis of the behavior of these models by means of simulation and 2D visualisation, the real-time controller is generated from the model of the controller. This real-time controller is first tested on a 3D Digital Twin of the system and finally on the actual machine. The course is concluded with an assignment in which model-based design of a supervisory controller is applied to an actual Festo workstation in a production line.