1. Alstom, Ansaldo, Bombardier, Invensys, Siemens, Thales, 2007. ERTMS / ETCS – Class 1. FFFIS for Eurobalise. https://www.era.europa.eu/sites/default/files/filesystem/ertms/ccs_tsi_annex_a_-_mandatory_specifications/set_of_specifications_1_etcs_b2_gsm-r_b1/index009_-_subset-036_v241.pdf
2. Behm, P., Benoit P., Faivre, A., Meynadier, J., 1999. Meteor: A successful application of B in a large project. In: International Symposium on Formal Methods. Springer, 369-387.
3. Brent, R.P., Gaudry, P., Thomé, E., Zimmermann, P., 2008. Faster multiplication in GF(2)[x]. In: International Algorithmic Number Theory Symposium. Springer, 153-166.
4. Büchi. J. R., 1962. On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), Stanford Univ. Press, Stanford, Calif, 1-11.
5. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Transactions on Programming Languages and Systems (TOPLAS),1986