Frank Vahid Tony Givargis Incorporating Cores into System-Level Specification. 43-50 1998 ISSS http://dlib.computer.org/conferen/isss/8623/pdf/86230043.pdf db/conf/isss/isss1998.html#VahidG98