Javier Esparza, Mikhail A. Raskin, Christoph Welzel: Examples for submission to CONCUR'22. Zenodo 2022