Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen - Bareiß, Reinhold (VDI-Verl., 1993)
Zugl.: Stuttgart, Univ., Diss., 1993