Some more stuff.
1 Linear-Time Temporal Logic and Büchi Automata:
6 - syntax mixed with interpretation
7 - no introduction to omega-regular languages
8 - short introduction to LTL semantics
9 - no automata complement construction
10 - on-the-fly construction is too short
12 - error on page 5: there must not be a state g in G along r
13 - error on page 12: V : S -> 2^P
14 - error on page 15: dnf: Phi^+ -> set of subsets (power set)
18 + time progression, linear time ect.
19 + infinite words as functions