A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis