A SCADE Model Verification Method Based on B-Model Transformation. - Xili Hou; Keming Wang; Huibing Zhao; Ruiyin Shi (CoRR, 2025)