Chelsea Edmonds, Brijesh Dongol, John Derrick, Heike Wehrheim, Gerhard Schellhorn: CSP Artifact for Model Checking Buffered Durable Linearizability. Zenodo 2025