1. Dimensioning and Engineering rules. Technical report. https://www.era.europa.eu/system/files/2023-01/sos3_index013_-_subset-040_v340.pdf
2. FFFIS for Eurobalise. Technical report. https://www.era.europa.eu/system/files/2023-01/sos3_index009_-_subset-036_v310.pdf
3. Lecture Notes in Computer Science;R Abo,2014
4. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.6. Technical report, Department of Computer Science, The University of Iowa (2021). https://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-05-12.pdf
5. Bayless, S., Bayless, N., Hoos, H., Hu, A.: SAT Modulo monotonic theories. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 29, no. 1 (2015)