Symbolisches Model Checking variabler Verhaltensspezifikationen door Tim Jonischkat