@book{43050,
	author = {FORTE 2007 and Derrick, John. and IFIP Working Group 6.1.},
	title = {Formal techniques for networked and distributed systems :},
	publisher = {Springer ,},
	year = {2007},
	address = {Boca Raton :}
}