@inproceedings {IPKLMA08,
	title = {Formal analysis of timed continuous Petri net},
	year = {2008},
	month = {12},
	author = {M. Kloetzer and Mahulea, Cristian and C. Belta and L. Recalde and M. Silva}
}

