1. A Flashback on Control Logic Injection Attacks against Programmable Logic Controllers;Alsabbagh Wael;Automation,2022
2. Kaled M Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, and Lucas C Cordeiro. 2021. FuSeBMC: An energy-efficient test generator for finding security vulnerabilities in C programs. In International Conference On Tests And Proofs. Springer, 85–105.
3. Matthias Althoff. 2022. Benchmarks for the Formal Verification of Power Systems. In Proc. of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems. mediatum.ub.tum.de.
4. Jiri Barnat Lubos Brim Milan Češka and Petr Ročkai. 2010. Divine: Parallel distributed model checker. In 2010 ninth international workshop on parallel and distributed methods in verification and second international workshop on high performance computational systems biology. IEEE 4–7.
5. Dirk Beyer. 2016. Reliable and reproducible competition results with benchexec and witnesses (report on SV-COMP 2016). In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 887–904.