A fifteen minute introduction to my work on verification
of component based real-time systems.
Within the SAVE project we have defined a component model
for safety critical vehicular systems.
This model has been formalized to enable verification, and
we have developed techniques to improve the efficiency of
verification with respect to time and memory.
