Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu. Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. In 29th Norsk Informatikkonferanse, NIK 2016, Høgskolen i Bergen, Bergen, Norway, November 28-30, 2016. Bibsys Open Journal Systems, Norway, 2016. [doi]
Abstract is missing.