@inproceedings {IPJuJiReSi04a,
	title = {On Observability in Timed Continuous Petri Net Systems},
	year = {2004},
	month = {9},
	pages = {60-69},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	author = {J. Julvez and E. Jimenez and L. Recalde and M. Silva},
	editor = {G. Katoen and M. Woodside}
}

