Wenchao Li, Alessandro Forin, Sanjit A. Seshia: Scalable specification mining for verification and diagnosis. DAC 2010: 755-760