@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} }