Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer. Speeding up model checking by exploiting explicit and hidden verification constraints. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1686-1691, IEEE, 2009. [doi]