@book{4437,
	author = {Fisher, Michael },
	title = {Introduction to Practical Formal Methods Using Temporal Logic},
	publisher = {Wiley India},
	year = {2011},
	address = {New Delhi}
}