The design of high-tech systems such as baggage transportation systems and MRI scanners is challenging and poses many interesting design issues. By means of model-based systems engineering we show how the design of the supervisory control aspects of such high-tech systems may be alleviated. In model-based systems engineering the system is thoroughly analyzed in several aspects on the basis of discrete-event models of the system, consisting of plant and controller. The real-time controller is then generated from the model of the controller. The course is concluded with an assignment in which model-based design of a supervisory controller is applied to a workstation in a production line, including testing of the generated controller on the actual machine.