1. Department of Knowledge-Based Mathematical Systems, Johannes Kepler University Linz, Altenbergerstraße 69, Linz 4040, Austria e-mail:
2. Design Automation, V-Research GmbH—Industrial Research and Development, Stadtstraße 33, Dornbirn 6850, Austria e-mail:
3. Research Centre Process and Product Engineering, Vorarlberg University of Applied Sciences, Hochschulstraße 1, Dornbirn 6850, Austria e-mail:
4. Technology Management, Liebherr-Werk Nenzing GmbH, Dr.-Hans-Liebherr-Str. 1, Nenzing 6710, Austria e-mail: