Li, Jingyue, Altin Qeriqi, Martin Steffen, and Ingrid Chieh Yu. 2016. “Automatic Translation from FBD-PLC-Programs to NuSMV for Model Checking Safety-Critical Control Systems”. Norsk IKT-Konferanse for Forskning Og Utdanning, November. https://www.ntnu.no/ojs/index.php/nikt/article/view/5486.