A (Weak) Deterministic Compositional Semantics for Reliability Block Diagrams with Repairs and Fault Dependencies - Experimental reproduction package

This artifact is a self-contained reproduction package for the experiments reported in the accompanying paper. It includes the paper benchmarks and additional example RBD models, bundled Modest Toolset binaries, prebuilt container images for amd64 and arm64, and the reference outputs used in the paper. The artifact reproduces the translation of models to JANI and the corresponding Monte Carlo simulation runs, while also supporting fresh reruns and custom model experiments.