Galileo: A Methodology for Modelling and Designing Real Time Systems. - F. Vidono; I. López (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)