@article {BCM-TII-11,
	title = {Timing-failure risk assessment of UML design using Time Petri Net bound techniques},
	journal = {IEEE Transactions on Industrial Informatics},
	volume = {7},
	year = {2011},
	month = {February},
	pages = {90-104},
	author = {S. Bernardi and J. Campos and Jos{\'e} Merseguer}
}

