An Architecture for Modeling and Validation. Application to Mobile Robotics. - Luc Yriarte; Pascal Deplanques; Jean Sallantin; Philippe Reitz; René Zapata; B. Burg; Francois Arlabosse (ECAI, 1996)