Author: France) ACM and IEEE International Conference on Formal Methods and Models for Co-Design (1st 2003 Le Mont-Saint-Michel