Analogical Matching For Specification | IEEE Conference Publication | IEEE Xplore