Galileo: A Methodology for Modelling and Designing Real Time Systems.

Published in: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)