Links for vitamin-model-checker-test