Temporal and Functional Verification of a Symbolic Representation of Complex Systems. - Mireille Larnac; Janine Magnier; Eric Vandermeulen; Gérard Dray; Vincent Chapurlat (EUROCAST, 1995)