@book{46978,
	author = {Agha, Gul},
	title = {Formal modeling :},
	publisher = {Springer,},
	year = {c2011},
	series = {Lecture notes in computer science ;},
	address = {Berlin, Germany :}
}