Li Lin, Wenling Wu, Yafei Zheng: Automatic Search for Key-Bridging Technique: Applications to LBlock and TWINE. FSE 2016: 247-267