A Modular Program-Transformation Framework for Reducing Specifications to Reachability. - Dirk Beyer 001; Marek Jankola; Marian Lingsch Rosenfeld; Tian Xia; Xiyue Zheng (CoRR, 2025)