VSPEC and Its Integrated Tool Suite. - Murali Rangarajan; Kshama Jambhekar; Amitvikram Rajkhowa; Perry Alexander (ECBS, 2002)