A Formal Modeling Scheme for Continuous ~ ~ valuedSystems : Focus on Diagnosis *