Taming the Complexity of STE-based Design Verification Using Program Slicing. - Vivekananda M. Ve. Andersen; Jacob A. Abraham (HLDVT, 2006)