M. Feld and C. Müller, The automotive ontology, Proceedings of the 3rd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI '11, pp.79-86, 2011.
DOI : 10.1145/2381416.2381429

S. Farfeleder, T. Moser, A. Krall, T. Stlhane, H. Zojer et al., DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, pp.271-274, 2011.
DOI : 10.1109/DDECS.2011.5783092

S. Verstichel, F. Ongenae, L. Loeve, F. Vermeulen, P. Dings et al., Efficient data integration in the railway domain through an ontology-based methodology, Transportation Research Part C: Emerging Technologies, vol.19, issue.4, pp.617-643, 2011.
DOI : 10.1016/j.trc.2010.10.003

G. Bonifacio, P. Marmo, A. Orazzo, I. Petrone, L. Velardi et al., Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems, Computer Safety, Reliability, and Security, pp.369-382, 2011.
DOI : 10.1007/978-3-642-14192-8_18

O. Hoinaru, C. Gransart, G. Mariano, and E. Lemaire, An ontology for the ERTMS/ETCS, Transport Research Arena, p.10
URL : https://hal.archives-ouvertes.fr/hal-00985681

M. Sango, C. Gransart, and L. Duchien, Safety component-based approach and its application to ERTMS/ETCS on-board train control system, Transport Research Arena, p.10, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00918907

J. L. Bresina and P. H. Morris, Explanations and recommendations for temporal inconsistencies, Proc. Int. Work. on Planning and Scheduling for Space, 2006.

D. L. Mcguinness and F. Van-harmelen, The semantic web activity

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. , The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
DOI : 10.1017/CBO9780511711787

E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, vol.5, issue.2, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

. Swrl, Swrl: A semantic web rule language combining owl and ruleml -w3c member submission 21 may, 2004.

M. J. Connor and A. K. Das, Sqwrl: A query language for owl, OWLED, ser. CEUR Workshop Proceedings, 2008.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

S. Kim, M. Song, C. Kim, S. Yea, H. C. Jang et al., Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge, Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web, pp.31-45, 2008.
DOI : 10.1007/978-3-540-89704-0_3

C. Welty and R. Fikes, A reusable ontology for fluents in owl, Proceedings of the 2006 Conference on Formal Ontology in Information Systems, pp.226-236, 2006.

H. Krieger, Where temporal description logics fail: Representing temporally-changing relationships Advances in Artificial Intelligence, ser. Lecture Notes in Computer Science, pp.249-257, 2008.

V. Milea, F. Frasincar, and U. Kaymak, tOWL: A Temporal Web Ontology Language, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), vol.42, issue.1, pp.268-281, 2012.
DOI : 10.1109/TSMCB.2011.2162582
URL : http://repository.tue.nl/718974

S. Batsakis, K. Stravoskoufos, and E. G. Petrakis, Temporal Reasoning for Supporting Temporal Queries in OWL 2.0, Knowledge-Based and Intelligent Information and Engineering Systems, pp.558-567, 2011.
DOI : 10.1007/978-3-642-23851-2_57

C. Lutz, Description logics with concrete domains-a survey, Fourth conference onAdvances in Modal logic, pp.265-296, 2002.

F. Weichert, C. Mertens, L. Walczak, G. Kern-isberner, and M. Wagner, A novel approach for connecting temporal-ontologies with blood flow simulations, Journal of Biomedical Informatics, vol.46, issue.3, pp.470-479, 2013.
DOI : 10.1016/j.jbi.2013.03.004

P. Grenon, B. Smith, and L. Goldberg, Biodynamic ontology: Applying bfo in the biomedical domain, Stud, pp.20-38, 2004.

B. Smith, B. Ceusters, J. Klagges, A. Khler, J. Kumar et al., Relations in biomedical ontologies, Genome Biology, vol.6, issue.5, 2005.

M. Oconnor and A. Das, A Method for Representing and Querying Temporal Information in OWL, Communications in Computer and Information Science, vol.127, pp.97-110, 2011.
DOI : 10.1007/978-3-642-18472-7_8

O. Hoinaru, G. Mariano, and C. Gransart, Ontology for complex railway systems application to ERTMS/ETCS system, FM-RAIL-BOK Workshop in SEFM2013 11th International Conference on Software Engineering and Formal Methods, p.6, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00912733

E. Exposito, Methodology, models and paradigms for a next generation transport layer design, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00678666

F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand, Investigating the usability of real-time scheduling theory with the Cheddar project, Real-Time Systems, vol.40, issue.2???3, pp.259-295, 2009.
DOI : 10.1007/s11241-009-9072-y
URL : https://hal.archives-ouvertes.fr/hal-00502357

M. Sango, L. Duchien, and C. Gransart, Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications, The 11th International Symp. on FACS, Italie, p.18, 2014.
DOI : 10.1007/978-3-319-15317-9_16
URL : https://hal.archives-ouvertes.fr/hal-01197464

. El-koursi, Towards safer level crossings: existing recommendations, new applicable technologies and a proposed simulation model, European Transport Research Review, vol.1, issue.1, pp.35-45, 2009.