Infoscience
Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation''