A multiform time approach to real-time system modeling; Application to an automotive system | IEEE Conference Publication | IEEE Xplore