Complete and effective robustness checking by means of interpolationStefan FrehseGorschwin Feyet al.2012FMCAD 2012