@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"
}