Robert Rubbens, Petra van den Bos, Marieke Huisman: Artefact of: Verified Parameterized Choreographies. Zenodo 2025