2 - CTL und LTL Formeln : Formale Grundlagen der Informatik II Valk, Rüdiger 2012 - Lecture2Go UHH - frei zugänglich
3 - Model Checking : Formale Grundlagen der Informatik II Valk, Rüdiger 2012 - Lecture2Go UHH - frei zugänglich