Slawomir Pilarski Tiko Kameda André Ivanov 1068-1074 1993 12 IEEE Trans. on CAD of Integrated Circuits and Systems 7 http://doi.ieeecomputersociety.org/10.1109/43.238044 db/journals/tcad/tcad12.html#PilarskiKI93