An Introduction To Practical Formal Methods Using Temporal Logic door Michael Fisher