Requirement Engineering (RE) is the process of collecting,
analyzing and modelling software requirements in a
systematic manner [1, 2, 3]. Requirement modelling is the
major challenge of automotive software development [4].
One of the main problems of RE is to describe the
requirements in terms of concise and manageable formal
models and to integrate models to form a consistent and
complete understanding of the software to be developed.
Requirements modelling and analysis are the most
important and difficult activities in the software
development. Software development is becoming more
mature by advancing development processes, methods,
and tools. The famous Christ Honour and Other Served
(CHAOS) has reported the statistics published by Standish
Group show that still only about one third of software
projects can be called successful, i.e. they reach their goals
within planned budget and time [5]. Research on post