@article(AE01,
 author       = "Rajeev Alur and Kousha Etessami and Salvatore La Torre and Doron Peled",
 year         = "2001",
 title        = "Parametric Temporal Logic for "Model Measuring"",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "2",
 number       = "3",
 pages        = "388--407",
 url          = "http://doi.acm.org/10.1145/377978.377990",
)
@book(BK08,
 author       = "Christel Baier and Joost-Pieter Katoen",
 year         = "2008",
 title        = "Principles of Model Checking",
 publisher    = "The MIT Press",
)
@inproceedings(EJ91,
 author       = "E. Allen Emerson and Charanjit S. Jutla",
 year         = "1991",
 title        = "Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)",
 booktitle    = "FOCS",
 publisher    = "IEEE",
 pages        = "368--377",
 doi          = "10.1109/SFCS.1991.185392",
)
@inproceedings(GLN10,
 author       = "Barbara Di Giampaolo and Salvatore La Torre and Margherita Napoli",
 year         = "2010",
 title        = "Parametric Metric Interval Temporal Logic",
 editor       = "Adrian Horia Dediu and Henning Fernau and Carlos Mart\'{\i }n-Vide",
 booktitle    = "LATA",
 series       = "Lecture Notes in Computer Science",
 volume       = "6031",
 publisher    = "Springer",
 pages        = "249--260",
 doi          = "10.1007/978-3-642-13089-2_21",
 url          = "http://dx.doi.org/10.1007/978-3-642-13089-2",
)
@inproceedings(J00,
 author       = "Marcin Jurdzinski",
 year         = "2000",
 title        = "Small Progress Measures for Solving Parity Games",
 editor       = "Horst Reichel and Sophie Tison",
 booktitle    = "STACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "1770",
 publisher    = "Springer",
 pages        = "290--301",
 doi          = "10.1007/3-540-46541-3_24",
)
@article(KPV09,
 author       = "Orna Kupferman and Nir Piterman and Moshe Y. Vardi",
 year         = "2009",
 title        = "From Liveness to Promptness",
 journal      = "Formal Methods in System Design",
 volume       = "34",
 number       = "2",
 pages        = "83--103",
 url          = "http://dx.doi.org/10.1007/s10703-009-0067-z",
)
@inproceedings(KV98,
 author       = "Orna Kupferman and Moshe Y. Vardi",
 year         = "1998",
 title        = "Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time",
 booktitle    = "LICS",
 pages        = "81--92",
 doi          = "10.1007/s10703-009-0067-z",
)
@phdthesis(M10,
 author       = "Andreas Morgenstern",
 year         = "2010",
 title        = "Symbolic Controller Synthesis for {LTL} Specifications",
 school       = "Department of Computer Science, University of Kaiserslautern, Germany",
 address      = "Kaiserslautern, Germany",
)
@inproceedings(MS08,
 author       = "Andreas Morgenstern and Klaus Schneider",
 year         = "2008",
 title        = "From LTL to Symbolically Represented Deterministic Automata",
 editor       = "Francesco Logozzo and Doron Peled and Lenore D. Zuck",
 booktitle    = "VMCAI",
 series       = "Lecture Notes in Computer Science",
 volume       = "4905",
 publisher    = "Springer",
 pages        = "279--293",
 doi          = "10.1007/978-3-540-78163-9_24",
)
@techreport(M91,
 author       = "Andrzej Mostowski",
 year         = "1991",
 title        = "Games with Forbidden Positions",
 type         = "Technical Report",
 number       = "78",
 institution  = "University of Gda\'nsk",
)
@inproceedings(PR89a,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "POPL",
 pages        = "179--190",
 url          = "http://doi.acm.org/10.1145/75277.75293",
)
@inproceedings(PR89,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the Synthesis of an Asynchronous Reactive Module",
 editor       = "Giorgio Ausiello and Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca",
 booktitle    = "ICALP",
 series       = "Lecture Notes in Computer Science",
 volume       = "372",
 publisher    = "Springer",
 pages        = "652--671",
 doi          = "10.1007/BFb0035790",
)
@article(SC85,
 author       = "A. Prasad Sistla and Edmund M. Clarke",
 year         = "1985",
 title        = "The Complexity of Propositional Linear Temporal Logics",
 journal      = "J. ACM",
 volume       = "32",
 number       = "3",
 pages        = "733--749",
 url          = "http://doi.acm.org/10.1145/3828.3837",
)
@techreport(Z10,
 author       = "Martin Zimmermann",
 year         = "2010",
 title        = "Parametric {LTL} Games",
 type         = "Technical Report",
 number       = "AIB 2010-20",
 institution  = "RWTH Aachen University",
 url          = "http://aib.informatik.rwth-aachen.de/2010/2010-20.ps.gz",
)