@article {1381,
	title = {Dependability analysis of DES based on MARTE and UML state machines models},
	journal = {Discrete Event Dynamic Systems},
	volume = {22},
	year = {2012},
	pages = {15},
	chapter = {163},
	issn = {0924-6703},
	doi = {10.1007/s10626-011-0111-1},
	author = {Jos{\'e} Merseguer and Simona Bernardi}
}

