LI, J.; QERIQI, A.; STEFFEN, M.; YU, I. C. Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. Norsk IKT-konferanse for forskning og utdanning, [S. l.], 2016. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/5486. Acesso em: 21 nov. 2024.