Links for vitamin-model-checker