Σημειώσεις μαθήματος "Έλεγχος & ελεγξιμότητα ψηφιακών συστημάτων" - Κουφοπαύλος, Οδυσσέας Γ. (Πανεπιστήμιο Πατρών, 2001)