Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander. VSPEC and Its Integrated Tool Suite. In 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden. pages 27-34, IEEE Computer Society, 2002. [doi]
Abstract is missing.