@book {294,
	title = {Formal Techniques for Distributed Objects, Components, and Systems - 34th International Conference (FORTE)},
	series = {Lecture Notes in Computer Science},
	volume = {8461},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-662-43612-7},
	doi = {10.1007/978-3-662-43613-4},
	url = {http://dx.doi.org/10.1007/978-3-662-43613-4},
	author = {Erika {\'A}brah{\'a}m and Catuscia Palamidessi}
}