Ignacio Lopez, M. Carmen Palaez: Experiences in the Use of Galileo to Design Telecommunication Systems. European Workshop on Applications and Theory of Petri Nets 1987: 283-306