@article(AlurEtessamiLaTorrePeled01,
 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",
 doi          = "10.1145/377978.377990",
)
@inproceedings(Forspec02,
 author       = "Roy Armoni and Limor Fix and Alon Flaisher and Rob Gerth and Boris Ginsburg and Tomer Kanza and Avner Landver and Sela Mador-Haim and Eli Singerman and Andreas Tiemeyer and Moshe Y. Vardi and Yael Zbar",
 year         = "2002",
 title        = "The ForSpec Temporal Logic: A New Temporal Property-Specification Language",
 editor       = "Joost-Pieter Katoen and Perdita Stevens",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "2280",
 publisher    = "Springer",
 pages        = "296--211",
 doi          = "10.1007/3-540-46002-0\_21",
)
@article(BuechiLandweber69,
 author       = "J. Richard B\"uchi and Lawrence H. Landweber",
 year         = "1969",
 title        = "Solving Sequential Conditions by Finite-State Strategies",
 journal      = "Trans. Amer. Math. Soc.",
 volume       = "138",
 pages        = "pp. 295--311",
 doi          = "10.2307/1994916",
)
@inproceedings(GiacomoVardi13,
 author       = "Giuseppe {De Giacomo} and Moshe Y. Vardi",
 year         = "2013",
 title        = "Linear Temporal Logic and Linear Dynamic Logic on Finite Traces",
 editor       = "Francesca Rossi",
 booktitle    = "IJCAI",
 publisher    = "IJCAI/AAAI",
 url          = "http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997",
)
@book(EisnerFismanPSL,
 author       = "C. Eisner and D. Fisman",
 year         = "2006",
 title        = "A Practical Introduction to PSL",
 series       = "Integrated Circuits and Systems",
 publisher    = "Springer",
 doi          = "10.1007/978-0-387-36123-9",
)
@article(FiliotJinRaskin2011,
 author       = "Emmanuel Filiot and Naiyong Jin and Jean-Fran\IeC {\c c}ois Raskin",
 year         = "2011",
 title        = "Antichains and compositional algorithms for LTL synthesis",
 journal      = "Formal Methods in System Design",
 volume       = "39",
 number       = "3",
 pages        = "261--296",
 doi          = "10.1007/s10703-011-0115-3",
)
@article(FinkbeinerSchewe2013,
 author       = "Bernd Finkbeiner and Sven Schewe",
 year         = "2013",
 title        = "Bounded Synthesis",
 journal      = "STTT",
 volume       = "15",
 number       = "5-6",
 pages        = "519--539",
 doi          = "10.1007/s10009-012-0228-z",
)
@article(FischerLadner1979,
 author       = "Michael J. Fischer and Richard E. Ladner",
 year         = "1979",
 title        = "Propositional Dynamic Logic of Regular Programs",
 journal      = "Journal of Computer and System Sciences",
 volume       = "18",
 number       = "2",
 pages        = "194 -- 211",
 doi          = "10.1016/0022-0000(79)90046-1",
)
@inproceedings(GiampaoloTorreNapoli10,
 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       = "LNCS",
 volume       = "6031",
 publisher    = "Springer",
 pages        = "249--260",
 doi          = "10.1007/978-3-642-13089-2\_21",
)
@phdthesis(Kamp68,
 author       = "Hans W. Kamp",
 year         = "1968",
 title        = "Tense Logic and the Theory of Linear Order",
 school       = "Computer Science Department, University of California at Los~Angeles, USA",
)
@article(KupfermanPitermanVardi09,
 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",
 doi          = "10.1007/s10703-009-0067-z",
)
@inproceedings(LeuckerSanchez07,
 author       = "Martin Leucker and C\'{e}sar S\'{a}nchez",
 year         = "2007",
 title        = "Regular Linear Temporal Logic",
 editor       = "Cliff Jones and Zhiming Liu and Jim Woodcock",
 booktitle    = "ICTAC'07",
 series       = "LNCS",
 volume       = "4711",
 publisher    = "Springer-Verlag",
 address      = "Macau, China",
 pages        = "291--305",
 doi          = "10.1007/978-3-540-75292-9\_20",
)
@article(MiyanoH84,
 author       = "Satoru Miyano and Takeshi Hayashi",
 year         = "1984",
 title        = "Alternating Finite Automata on $\omega $-Words",
 journal      = "Theor. Comput. Sci.",
 volume       = "32",
 pages        = "321--330",
 doi          = "10.1016/0304-3975(84)90049-5",
)
@inproceedings(PnueliRosner89a,
 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       = "LNCS",
 volume       = "372",
 publisher    = "Springer",
 pages        = "652--671",
 doi          = "10.1007/BFb0035790",
)
@inproceedings(Schewe09,
 author       = "Sven Schewe",
 year         = "2009",
 title        = "Tighter Bounds for the Determinisation of B{\"u}chi Automata",
 editor       = "Luca de Alfaro",
 booktitle    = "FOSSACS",
 series       = "LNCS",
 volume       = "5504",
 publisher    = "Springer",
 pages        = "167--181",
 doi          = "10.1007/978-3-642-00596-1\_13",
)
@article(AlthoffThomasWallmeier2006,
 author       = "Christoph {Schulte Althoff} and Wolfgang Thomas and Nico Wallmeier",
 year         = "2006",
 title        = "Observations on Determinization of B\IeC {\"u}chi Automata",
 journal      = "Theor. Comput. Sci.",
 volume       = "363",
 number       = "2",
 pages        = "224 -- 233",
 doi          = "10.1016/j.tcs.2006.07.026",
)
@article(SistlaClarke85,
 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",
 doi          = "10.1145/3828.3837",
)
@article(Thompson68,
 author       = "Ken Thompson",
 year         = "1968",
 title        = "Programming Techniques: Regular Expression Search Algorithm",
 journal      = "Commun. ACM",
 volume       = "11",
 number       = "6",
 pages        = "419--422",
 doi          = "10.1145/363347.363387",
)
@inproceedings(Vardi11,
 author       = "Moshe Y. Vardi",
 year         = "2011",
 title        = "The Rise and Fall of {LTL}",
 editor       = "Giovanna D'Agostino and Salvatore {La Torre}",
 booktitle    = "GandALF",
 series       = "EPTCS",
 volume       = "54",
 doi          = "10.4204/EPTCS.54",
 note         = "Invited presentation",
)
@article(VardiWolper94,
 author       = "Moshe Y. Vardi and Pierre Wolper",
 year         = "1994",
 title        = "Reasoning About Infinite Computations",
 journal      = "Inf. Comput.",
 volume       = "115",
 number       = "1",
 pages        = "1--37",
 doi          = "10.1006/inco.1994.1092",
)
@article(Wolper1983,
 author       = "Pierre Wolper",
 year         = "1983",
 title        = "Temporal Logic Can be More Expressive",
 journal      = "Information and Control",
 volume       = "56",
 number       = "1\IeC {\textendash }2",
 pages        = "72 -- 99",
 doi          = "10.1016/S0019-9958(83)80051-5",
)
@article(Zimmermann13,
 author       = "Martin Zimmermann",
 year         = "2013",
 title        = "Optimal Bounds in Parametric {LTL} Games",
 journal      = "Theor. Comput. Sci.",
 volume       = "493",
 pages        = "30--45",
 doi          = "10.1016/j.tcs.2012.07.039",
)