@conference {16755,
	title = {A timed petri net methodolgoy for specifying real-time system timing requirements},
	booktitle = {International Workshop on Timed Petri Nets},
	year = {1985},
	month = {1985///},
	pages = {24 - 31},
	author = {Coolahan Jr,J. E and Roussopoulos, Nick}
}
