Michael Fisher. An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, 2011. [doi]
@book{0030759, title = {An Introduction to Practical Formal Methods Using Temporal Logic}, author = {Michael Fisher}, year = {2011}, url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html}, researchr = {https://researchr.org/publication/0030759}, cites = {0}, citedby = {0}, publisher = {Wiley}, isbn = {978-0-470-02788-2}, }