Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. - Tim Blackmore; David Halliwell; Philip Barker; Kerstin Eder; Naresh Ramaram (IFM, 2012)