A multiform time approach to real-time system modeling; Application to an automotive system.