@book{52550,
	author = {Fisher, Michael},
	title = {An introduction to practical formal methods using temporal logic /},
	publisher = {Wiley,},
	year = {c2011},
	address = {Chichester, West Sussex, U.K. :}
}