1. Lecture Notes in Computer Science;AR Bradley,2012
2. Bryant, H.: Exploring the IC3 algorithm to improve the Siemens-Swansea ladder logic verification tool. MRes Dissertation (under submission), Swansea University (2023)
3. Chadwick, S., James, P., Moller, F., Roggenbach, M., Werner, T.: A journey through software model checking of interlocking programs. In: Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings. vol. 13036, p. 495. Springer Nature (2021)
4. Diaconescu, R.: Institution-independent Model Theory. Birkhäuser (2008)
5. Eén, N., Sörensson, N.: Temporal induction by incremental sat solving. Electron. Notes Theoret. Comput. Sci. 89(4), 543–560 (2003). bMC’2003, First International Workshop on Bounded Model Checking