Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen. - Lüder, Arndt (Logos-Verlag, 2000)