“…The development of Maestro was therefore driven by requirements from industry. To ensure that Maestro successfully satisfied the needs of industry, it was applied by industry partners in different domains such as automotive, railways, maritime, building automation, and agriculture (e.g., [4,5,6,7,8,9]). In order to illustrate the majority of the tool, this paper features a small case study where a Line-Following Robot (LFR) is used, which is representative of the mentioned challenges.…”