Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study. - Trung Hieu Phan; Sébastien Gérard; François Terrier (FDL, 2003)