Steffan Christ Sølvsten, Jaco van de Pol: Artifact: Symbolic Model Checking in External Memory. Zenodo 2025