Automatic Model Transformation and Formal Verification for Function Block of IEC 61499. - Yean-Ru Chen; Chia-Hao Hsu; Tien-Fu Li; Cheng-Yuan Lin; Shao-Chia Weng; Min-Yan Tsai (Softw. Syst. Model., 2026)