CAD transactions best paper a ward "SPFD: a new method to express functional flexibility" | IEEE Journals & Magazine | IEEE Xplore