Shortening the verification cycle with synthesizable abstract models. - Alon Gluska; Lior Libis (DAC, 2009)