@article{Merz12,
  author  = {Stephan Merz},
  title   = {Stuttering Equivalence},
  journal = {Archive of Formal Proofs},
  month   = may,
  year    = 2012,
  note    = {\url{http://isa-afp.org/entries/Stuttering_Equivalence.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}

@inproceedings{Gerth1995,
 author = {Gerth, Rob and Peled, Doron and Vardi, Moshe Y. and Wolper, Pierre},
 title = {Simple On-the-fly Automatic Verification of Linear Temporal Logic},
 booktitle = {Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV},
 year = {1996},
 isbn = {0-412-71620-8},
 pages = {3--18},
 numpages = {16},
 url = {http://dl.acm.org/citation.cfm?id=645837.670574},
 acmid = {670574},
 publisher = {Chapman \& Hall, Ltd.},
 address = {London, UK, UK},
} 

@incollection{VeriLTLMC13,
year={2013},
isbn={978-3-642-39798-1},
booktitle={Computer Aided Verification},
volume={8044},
series={Lecture Notes in Computer Science},
editor={Sharygina, Natasha and Veith, Helmut},
doi={10.1007/978-3-642-39799-8_31},
title={A Fully Verified Executable LTL Model Checker},
url={https://doi.org/10.1007/978-3-642-39799-8_31},
publisher={Springer Berlin Heidelberg},
author={Esparza, Javier and Lammich, Peter and Neumann, René and Nipkow, Tobias and Schimpf, Alexander and Smaus, Jan-Georg},
pages={463-478}
}
