Formal Methods in Computer-Aided Design door J.W. O'Leary & Mark D. Aagaard