See https://git-st.inf.tu-dresden.de/rschoene/eraser/blob/dev/feedbackloop.plan/src/main/java/de/tudresden/inf/st/eraser/feedbackloop/plan/PlanImpl.java