uml2lqn-casestudies Papyrus 2020-06 4.8.0 (https://www.eclipse.org/papyrus/download.html) MARTE (http://download.eclipse.org/modeling/mdt/papyrus/updates/releases/neon) DAM (http://dice-project.github.io/DICE-Profiles/updates) Plots of pareto solutions: Automated Guided Vehicle (AGV) Train Ticket