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