This workpackage is intended to produce classes of models which
are suitable for depicting real-life situations occurring in the
application domains. This activity will be driven from above by the
rich experience of the partners in modeling of discrete, real-time and
hybrid systems for the purpose of verification, and from below by the
case-studies provided by the industrial partners. The following tasks
represent the main directions of research that will be needed to
achieve the project goals.