The tools contained in this artifact are made available according to their corresponding licenses:
- PacPMA (called PAC Model, in the artifact image): GNU GPL v3
- PRISM: GNU GPL v2
- STORM: GNU GPL v3

The DTMC model files follow the license from the PRISM repository from where they have been taken.
The scripts provided to run the experiments with these tools are also provided under GNU GPL v3.
The remaining files used by the scripts (e.g. the LaTeX documents) are provided under CC BY-NC-SA.

The GNU GPL v2 license is available at http://www.gnu.org/licenses/gpl-2.0.html
The GNU GPL v3 license is available at http://www.gnu.org/licenses/gpl-3.0.html
The CC BY-NC-SA license is available at https://creativecommons.org/licenses/by-nc-sa/4.0/