Links for prism-model-checker