@book{31002,
	author = {Gabbar, Hossam A.},
	title = {Modern formal methods and appilcations /},
	publisher = {Springer,},
	year = {2006},
	address = {Dordrecht :}
}