@book{271993,
	author = {Fisher, Michael, and ProQuest (Firm)},
	title = {An introduction to practical formal methods using temporal logic},
	publisher = {Wiley,},
	year = {c2011.},
	address = {Chichester, West Sussex, U.K. ;},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=698529}
}