Verification architectures for complex real time systems - Faber, Johannes (Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften, 2011)