@book{36708,
	author = {Gabbar, Hossam A. and SpringerLink (Online service)},
	title = {Modern Formal Methods and Applications},
	publisher = {Springer Netherlands,},
	year = {2006.},
	address = {Dordrecht :},
	url = {http://dx.doi.org/10.1007/1-4020-4223-X}
}