M. Feld and C. M¨uller, “The automotive ontology: Managing knowledge
inside the vehicle and sharing it between cars,” in Proceedings of the 3rd
International Conference on Automotive User Interfaces and Interactive
Vehicular Applications, ser. AutomotiveUI ’11, 2011, pp. 79–86.
 S. Farfeleder, T. Moser, A. Krall, T. Stlhane, H. Zojer, and C. Panis,
“Dodt: Increasing requirements formalism using domain ontologies for
improved embedded systems development,” in Design and Diagnostics
of Electronic Circuits Systems, April 2011, pp. 271–274.
 OBO, “The open biological and biomedical ontologies,” http://www.
 S. Verstichel, F. Ongenae, L. Loeve, F. Vermeulen, P. Dings, B. Dhoedt,
T. Dhaene, and F. D. Turck, “Efficient data integration in the railway
domain through an ontology-based methodology,” Transport. Research
Part C: Emerging Technologies, vol. 19, no. 4, pp. 617 – 643, 2011.
 G. Bonifacio, P. Marmo, A. Orazzo, I. Petrone, L. Velardi, and
A. Venticinque, “Improvement of processes and methods in testing
activities for safety-critical embedded systems,” in Computer Safety,
Reliability, and Security, 2011, vol. 6894, pp. 369–382.
 O. Hoinaru, C. Gransart, G. Mariano, and E. Lemaire, “An ontology for
the ERTMS/ETCS,” in Transport Research Arena, Paris, 2014, p. 10p.
 ERTMS/ETCS, http://www.era.europa.eu/Document-Register/Pages/
 M. Sango, C. Gransart, and L. Duchien, “Safety component-based
approach and its application to ERTMS/ETCS on-board train control
system,” in Transport Research Arena, Paris, Apr. 2014, p. 10.
 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.”
 W3C, “Owl web ontology language overview - w3c recommendation.”
 F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F.
Patel-Schneider, Eds., The Description Logic Handbook: Theory,
Implementation, and Applications. Cambridge University Press, 2003.
 G. Antoniou and F. v. Harmelen, A Semantic Web Primer, 2Nd Edition
(Cooperative Information Systems), 2nd ed. The MIT Press, 2008.
 JESS, http://www.jessrules.com/.
 KAON2, http://kaon2.semanticweb.org.
 E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, “Pellet: A
practical owl-dl reasoner,” Web Semant., vol. 5, no. 2, pp. 51–53, Jun.
 SWRL, “Swrl: A semantic web rule language combining owl and ruleml
- w3c member submission 21 may 2004.”
 M. J. O’Connor and A. K. Das, “Sqwrl: A query language for owl.”
in OWLED, ser. CEUR Workshop Proceedings, R. Hoekstra and P. F.
Patel-Schneider, Eds., vol. 529, 2008.
 W3C, “Time ontology in owl - w3c working draft 27 september 2006.”
 OWL-S, “Daml services,” http://www.daml.org/services/owl-s/.
 J. F. Allen, “Maintaining knowledge about temporal intervals,” Commun.
ACM, vol. 26, no. 11, pp. 832–843, Nov. 1983.
 S.-K. Kim, M.-Y. Song, C. Kim, S.-J. Yea, H. C. Jang, and K.-C.
Lee, “Temporal ontology language for representing and reasoning
interval-based temporal knowledge,” in Proceedings of the 3rd Asian
Semantic Web Conference on The Semantic Web, 2008, pp. 31–45.
 C. Welty and R. Fikes, “A reusable ontology for fluents in owl,” in
Proceedings of the 2006 Conference on Formal Ontology in Information
Systems. IOS Press, 2006, pp. 226–236.
 H.-U. Krieger, “Where temporal description logics fail: Representing
temporally-changing relationships,” in KI 2008: Advances in Artificial
Intelligence, ser. Lecture Notes in Computer Science. Springer Berlin
Heidelberg, 2008, vol. 5243, pp. 249–257.
 V. Milea, F. Frasincar, and U. Kaymak, “towl: A temporal web ontology
language,” IEEE Transactions on Systems, Man, and Cybernetics, Part
B, vol. 42, no. 1, pp. 268–281, 2012.
 S. Batsakis, K. Stravoskoufos, and E. G. M. Petrakis, “Temporal
reasoning for supporting temporal queries in OWL 2.0,” in
Knowledge-Based and Intelligent Information and Engineering Systems,
2011, pp. 558–567.
 C. Lutz, “Description logics with concrete domains-a survey,” in Fourth
conference onAdvances in Modal logic, 2002, pp. 265–296.
 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, no. 3, pp.
 P. Grenon, B. Smith, and L. Goldberg, “Biodynamic ontology: Applying
bfo in the biomedical domain,” in Stud. Health Technol. Inform. IOS
Press, 2004, pp. 20–38.
 B. Smith, W. Ceusters, B. Klagges, J. Khler, A. Kumar, J. Lomax,
C. Mungall, F. Neuhaus, A. Rector, and C. Rosse, “Relations in
biomedical ontologies,” Genome Biology, vol. 6, no. 5, 2005.
 M. OConnor and A. Das, “A method for representing and querying
temporal information in owl,” in Biomedical Engineering Systems
and Technologies, ser. Communications in Computer and Information
Science, A. Fred, J. Filipe, and H. Gamboa, Eds. Springer Berlin
Heidelberg, 2011, vol. 127, pp. 97–110.
 W3C, “Defining n-ary relations on the semantic web - w3c working
group note 12 april 2006.”
 O. Hoinaru, G. Mariano, and C. Gransart, “Ontology for
complex railway systems application to ERTMS/ETCS system,” in
FM-RAIL-BOK Workshop in SEFM2013 11th International Conference
on Software Engineering and Formal Methods, Espagne, Jan. 2013,
 ITU-T, X.641: Information Technology - Quality of Service Frameworks.
 E. Exposito, “Methodology, models and paradigms for a next generation
transport layer design,” Ph.D. dissertation, INPT - France, 2010.
 F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand, “Investigating
the usability of real-time scheduling theory with the cheddar project,”
Real-Time Syst., vol. 43, no. 3, pp. 259–295, Nov. 2009.
 M. Fisher, D. Gabbay, and L. Vila, Handbook of Temporal Reasoning in
Artificial Intelligence (Foundations of Artificial Intelligence (Elsevier)).
New York, NY, USA: Elsevier Science Inc., 2005.
 M. Sango, L. Duchien, and C. Gransart, “Component-Based
Modeling and Observer-Based Verification for Railway Safety-Critical
Applications,” in The 11th International Symp. on FACS, Italie, Sep.
2014, p. 18.
 L. Khoudour, M. Ghazel, F. Boukour, M. Heddebaut, and E.-M.
El-Koursi, “Towards safer level crossings: existing recommendations,
new applicable technologies and a proposed simulation model,”
European Transport Research Review, vol. 1, no. 1, pp. 35–45, 2009.