@article {1278,
	title = {An Automated Framework for Formal Verification of Timed Continuous Petri Nets},
	journal = {IEEE Transactions on Industrial Informatics},
	volume = {6},
	year = {2010},
	month = {08/2010},
	pages = {471},
	chapter = {460},
	url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5473124},
	author = {M. Kloetzer and Mahulea, Cristian and C. Belta and M. Silva}
}

