Paolo Camurati M. Gilli Paolo Prinetto Matteo Sonza Reorda The Use of Model Checking in ATPG for Sequential Circuits. 86-95 1990 conf/cav/1990 CAV db/conf/cav/cav1990.html#CamuratiGPR90 http://dx.doi.org/10.1007/BFb0023722