During my thesis and also other work like @Nicolas-Boltz thesis, we develop many additional PCM models and also create different variants, e.g., of the TravelPlanner or the RunningExample. After my thesis is done, we should revisit the pool of available models and consolidate the base versions in the ExampleModels project.