Ein Testerzeugungsverfahren für digitale Schaltungen auf der Verhaltensebene von Raul Fernando Weber - Weber, Raul F. (1986)