- Atoms: in LTL-formeln eigentlich eine andere Bedeutung
-> Changed to "terms"

Model Checking
- analyzes (kein Nomen): 
-> Changed to "analyses"
- "table from below": 
-> "table below the button"
- "verification context": 
-> added short explanation

- Screenshot updated for TL Specification View
refs 466