@incollection{SV06VISSAS,
    author = {Samer, Marko and Veith, Helmut},
    title = {From Temporal Logic Queries to Vacuity Detection},
    booktitle = {Verification of Infinite-State Systems with Applications to Security},
    editor = {Clarke, Edmund M. and Minea, Marius and Tiplea, Ferucio L.},
    publisher = {IOS Press},
    series = {NATO Security through Science Series D: Information and Communication Security},
    volume = {1},
    pages = {149--167},
    year = {2006},
    isbn = {1-58603-570-3}
}