@book{708,
	author = {Jorgensen, Paul C.},
	title = {Modeling software behavior},
	publisher = {CRC Press},
	year = {2009},
	address = {New York}
}