@article {BC09,
	title = {Computation of Performance Bounds for Real-time systems using Time Petri Nets},
	journal = {IEEE Transactions on Industrial Informatics},
	volume = {5},
	year = {2009},
	month = {May},
	pages = {168-180},
	publisher = {IEEE IES},
	author = {S. Bernardi and J. Campos}
}

