@INPROCEEDINGS{EMSltl_2002,
   author  =      {Steven Eker and Jos{\'e} Meseguer and Ambarish Sridharanarayanan},
   title =        {The {Maude} {LTL} Model Checker},
   booktitle =    {Fourth Workshop on Rewriting Logic and
                   its Applications, WRLA '02},
   editor =       {Fabio Gadducci and Ugo Montanari},
   publisher =    {Elsevier},
   series =       {Electronic Notes in Theoretical Computer Science},
   year =         2002,
   volume =       71,
}