Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. - Jingyue Li; Altin Qeriqi; Martin Steffen; Ingrid Chieh Yu (NIK, 2016)