@inproceedings{PMTDB14lics,
  author = {Grgur {Petric Mareti\'{c}} and Mohammad {Torabi Dashti}
and David Basin},
 title = {Anchored LTL Separation},
 booktitle = {Proceedings of the Joint Meeting of the Twenty-Third
EACSL Annual Conference on Computer Science Logic (CSL) and the
Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS)},
 series = {CSL-LICS '14},
 year = {2014},
 isbn = {978-1-4503-2886-9},
 location = {Vienna, Austria},
 pages = {74:1--74:9},
 articleno = {74},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/2603088.2603139},
 doi = {10.1145/2603088.2603139},
 acmid = {2603139},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {{\$\omega\$}-automata, linear temporal logic, liveness, safety}
}