Symbolisches Model Checking variabler Verhaltensspezifikationen by Tim Jonischkat