Friedemann Bitsch: Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik. Shaker University of Stuttgart, Germany 2007, ISBN 978-3-8322-6035-4, 1-175