A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. - L. Braga; Roberto Manione; P. Renditore (FORTE, 1996)