S. Mansour-Duschet: "A Multiagent Design Methodology for the Manufacturing Execution System Domain"; Supervisor, Reviewer: B. Kittl, W. Kastner, A. Taudes; E 311-01, 2020; oral examination: 2020-12-11.