Iterative Refinement of Repeat Sequence Specification Using Constrained Pattern Matching | IEEE Conference Publication | IEEE Xplore