Alessandro Cimatti Alberto Griggio Sergio Mover Stefano Tonetta Parameter synthesis with IC3. 165-168 2013 FMCAD https://ieeexplore.ieee.org/document/6679406/ conf/fmcad/2013 db/conf/fmcad/fmcad2013.html#CimattiGMT13