Dirk Beyer, Henrik Wachowitz: Reproduction Package for fm-weck: Containerized Execution of Formal-Methods Tools. Zenodo 2024