- http://nusmv.fbk.eu/NuSMV/index.html
- https://www.cs.le.ac.uk/people/pt95/IEEEXplore.pdf
- http://cgi.csc.liv.ac.uk/~michael/TLBook/tl1.pdf
- https://ptolemy.berkeley.edu/projects/embedded/eecsx44/lectures/Fall2013/TemporalLogic.pdf
- http://cgi.csc.liv.ac.uk/~michael/DFFH04.pdf
- Temporal Logics of Knowledge and their Applications in Security
- https://people.eecs.berkeley.edu/~rabe/thesis_Markus_N_Rabe.pdf
- https://sites.cs.ucsb.edu/~sherwood/pubs/NSF-15-formalsec.pdf
- https://inf.ethz.ch/personal/basin/pubs/arspa04.pdf
- https://www.sciencedirect.com/science/article/pii/S1319157818304245
- https://link.springer.com/article/10.1186/s13673-019-0165-x
- https://ieeexplore.ieee.org/document/8730354
- http://laboratory.temporallogic.org/publications/
- http://temporallogic.org/courses/AppliedFormalMethods/
- https://arxiv.org/pdf/1903.06873.pdf
- http://www.cs.colorado.edu/~srirams/papers/hybrid-systems-review-2019.pdf
- http://sites.bu.edu/hyness/files/2015/08/CDC2014-Austin.pdf
- https://ieeexplore.ieee.org/abstract/document/8599799
- https://arxiv.org/pdf/1811.00175.pdf
- https://www.microsoft.com/en-us/research/project/ironclad/
- https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/
- https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language/
- https://agda.readthedocs.io/en/v2.6.0.1/getting-started/what-is-agda.html
- https://www.hillelwayne.com/post/theorem-prover-showdown/