Constraintbasierte Testdatenermittlung für Automatisierungssoftware auf Grundlage von Signalflussplänen. - Paul Linder (Shaker, 2008)