@InProceedings{spin2003,
    AUTHOR = {Steven Eker and Jos\'{e} Meseguer and Ambarish Sridharanarayana},
    TITLE = {The Maude {LTL} Model Checker and its Implementation},
    VOLUME = {2648},
    YEAR = {2003},
    PAGES = {230--234},
    MONTH = {May},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1556/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Proceedings of the 10th {SPIN} Workshop},
    PUBLISHER = {Springer},
    EDITOR = {Thomas Ball and Sriram {K.} Rajamani}
}