@book{40985,
	author = {International School on Formal Methods for the Design of Computer, Communication, and Software Systems and Bernardo, Marco.},
	title = {Formal methods for performance evaluation :},
	publisher = {Springer,},
	year = {2007.},
	address = {Berlin :},
	note = {Lectures.},
	url = {http://ebooks.ohiolink.edu/xtf-ebc/view?docId=tei/sv/9783540725220/9783540725220.xml}
}