@article {Roz10, author = "K.Y. Rozier", title = "{L}inear {T}emporal {L}ogic {S}ymbolic {M}odel {C}hecking", journal = "Computer Science Review Journal", volume = "5", number = "2", publisher = "Elsevier", pages = "163--203", month = "May", year = "2011", doi = "doi:10.1016/j.cosrev.2010.06.002", url = "http://dx.doi.org/10.1016/j.cosrev.2010.06.002" }