See also Temporal Logic: The Lesser of Three Evils by the same author: http://www.cs.nyu.edu/acsys/pnueli/slides/lamport-pnueli.pdf http://www.cs.nyu.edu/acsys

See also Temporal Logic: The Lesser of Three Evils by the same author: http://www.cs.nyu.edu/acsys/pnueli/slides/lamport-pnueli.pdf http://www.cs.nyu.edu/acsys/pnueli/slides/lamport-pnueli.pdf