Li, J.; Qeriqi, A.; Steffen, M.; Yu, I. C. Automatic Translation from FBD-PLC-Programs to NuSMV for Model Checking Safety-Critical Control Systems. NIKT 2016.