Model Checking Projektvorlage