
FINAL PROJECT REPORT
The purpose of this section2 is to summarize the developments that took place within the Ametist project and put them in a larger scientific and technological context. We start with a general overview of modelbased design and analysis of systems from which the approach advoed by Ametist has emerged. The principles underlying this approach