Li, J., Qeriqi, A., Steffen, M. and Yu, I. C. (2016) “Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems”, Norsk IKT-konferanse for forskning og utdanning. Available at: https://www.ntnu.no/ojs/index.php/nikt/article/view/5486 (Accessed: 21November2024).