Darko Kirovski Milenko Drinic Miodrag Potkonjak Engineering change protocols for behavioral and system synthesis. 1145-1155 2005 24 IEEE Trans. on CAD of Integrated Circuits and Systems 8 http://dx.doi.org/10.1109/TCAD.2005.850898 db/journals/tcad/tcad24.html#KirovskiDP05