@book {BS98,
	title = {Performance Models for Discrete Event Systems with Synchronizations: 	Formalisms and Analysis Techniques},
	year = {1998},
	publisher = {Editorial KRONOS},
	organization = {Editorial KRONOS},
	address = {Zaragoza, Spain},
	editor = {G. Balbo and M. Silva}
}

